% This file was created with JabRef 2.7.2.
% Encoding: UTF8

@INPROCEEDINGS{DBLP:conf/fm/CampbellGNSTV05,
  author = {Colin Campbell and Wolfgang Grieskamp and Lev Nachmanson and Wolfram
	Schulte and Nikolai Tillmann and Margus Veanes},
  title = {Testing Concurrent Object-Oriented Systems with Spec Explorer},
  booktitle = {FM},
  year = {2005},
  pages = {542-547},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/fm/2005},
  ee = {http://dx.doi.org/10.1007/11526841_38}
}

@INPROCEEDINGS{DBLP:conf/models/HermansPD09,
  author = {Felienne Hermans and Martin Pinzger and Arie van Deursen},
  title = {Domain-Specific Languages in Practice: A User Study on the Success
	Factors},
  booktitle = {MoDELS},
  year = {2009},
  pages = {423-437},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/models/2009},
  ee = {http://dx.doi.org/10.1007/978-3-642-04425-0_33}
}

@INPROCEEDINGS{DBLP:conf/apn/MinerC99,
  author = {Andrew S. Miner and Gianfranco Ciardo},
  title = {Efficient Reachability Set Generation and Storage Using Decision
	Diagrams.},
  booktitle = {ICATPN},
  year = {1999},
  pages = {6-25},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/apn/1999},
  ee = {http://link.springer.de/link/service/series/0558/bibs/1639/16390006.htm}
}

@INPROCEEDINGS{DBLP:conf/mfcs/Mosses99,
  author = {Peter D. Mosses},
  title = {Foundations of Modular SOS.},
  booktitle = {MFCS},
  year = {1999},
  pages = {70-80},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/mfcs/1999}
}

@INPROCEEDINGS{DBLP:conf/rsp/PedroLB06,
  author = {Luis Pedro and Levi Lucio and Didier Buchs},
  title = {Principles for System Prototype and Verification Using Metamodel
	Based Transformations.},
  booktitle = {IEEE International Workshop on Rapid System Prototyping},
  year = {2006},
  pages = {10-17},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/rsp/2006},
  ee = {http://doi.ieeecomputersociety.org/10.1109/RSP.2006.29}
}

@INPROCEEDINGS{DBLP:conf/dagstuhl/PretschnerP04,
  author = {Alexander Pretschner and Jan Philipps},
  title = {Methodological Issues in Model-Based Testing},
  booktitle = {Model-Based Testing of Reactive Systems},
  year = {2004},
  pages = {281-291},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/dagstuhl/2004test},
  ee = {http://dx.doi.org/10.1007/11498490_13}
}

@INPROCEEDINGS{Risoldi:07:VLHCC,
  author = {Matteo Risoldi and Didier Buchs},
  title = {A domain specific language and methodology for control systems GUI
	specification, verification and prototyping},
  booktitle = {2007 IEEE Symposium on Visual Languages and Human-Centric Computing
	(VL/HCC 2007), 23-27 September 2007, USA},
  year = {2007},
  pages = {179-182},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/vl/2007},
  ee = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.2}
}

@MISC{bpmi:bpmn,
  author = {Business Process Management Initiative (BPMI)},
  title = {Business Process Modeling Notation (BPMN)},
  year = {2004}
}

@MISC{wsdl:spec,
  author = {World Wide Web Consortium (W3C)},
  title = {Web Services Description Language},
  url = {http://www.w3.org/TR/2001/NOTE-wsdl-20010315}
}

@MISC{wfmc:standards,
  author = {Workflow Management Coalition (WfMC)},
  title = {Workflow Reference Model and Standards},
  owner = {ang},
  url = {http://www.wfmc.org/}
}

@MANUAL{atlas:usermanual,
  title = {ATL User Manual},
  author = {ATLAS group},
  organization = {LINA and INRIA},
  year = {2006},
  note = {\url{http://www.eclipse.org/m2m/atl/doc/ATL_User_Manual[v0.7].pdf}}
}

@TECHREPORT{baticscollection2006,
  author = {BATIC$^3$S collaboration},
  title = {BATIC$^3$S project document collection 2005-2006},
  institution = {Universit\'e de Gen\`eve},
  year = {2006},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=BATICSBiblio}}
}

@MISC{pep,
  author = {PEP development group},
  title = {PEP homepage.},
  note = {http://theoretica.informatik.uni-oldenburg.de/~pep/}
}

@MISC{kermeta_web,
  author = {Triskell team},
  title = {Kermeta - Breathe life into your metamodels},
  date-added = {2008-02-25 14:52:49 +0100},
  date-modified = {2008-02-25 14:56:00 +0100},
  keywords = {Metamodeling, Kermeta},
  url = {http://www.kermeta.org/}
}

@MISC{modtransf_web,
  author = {Triskell team},
  title = {Mod-{T}ransf - XML and ruled based transformation language},
  note = {\url{http://modelware.inria.fr/rubrique15.html}}
}

@TECHREPORT{omg:mof2,
  author = {{O}bject {M}anagement {G}roup members},
  title = {{M}eta-{O}bject {F}acility 2.0 Core Specification },
  institution = {{O}{M}{G}},
  year = {2007},
  month = {January},
  note = {\url{http://www.omg.org/cgi-bin/doc?formal/2006-01-01}},
  bdsk-url-1 = {http://www.omg.org/cgi-bin/doc?formal/2006-01-01},
  date-modified = {2008-02-27 17:04:04 +0100},
  keywords = {MOF, Metamodeling, OMG},
  url = {http://www.omg.org/cgi-bin/doc?formal/2006-01-01}
}

@TECHREPORT{uml2_super,
  author = {{O}bject {M}anagement {G}roup members},
  title = {UML 2.0 Superstructure Specification},
  institution = {OMG},
  year = {2005},
  month = {August},
  note = {http://www.omg.org/cgi-bin/doc?formal/05-07-04}
}

@MISC{mtl_web,
  author = {{T}riskell team},
  title = {{MTL} {D}ocumentation},
  note = {\url{http://modelware.inria.fr/rubrique4.html}}
}

@BOOK{nusmv_book,
  title = {NuSMV: A New Symbolic Model Verifier},
  publisher = {Springer Berlin / Heidelberg},
  year = {1999},
  author = {A. Cimatti , E. Clarke, F. Giunchiglia and M. Roveri},
  optvolume = {1633/1999}
}

@TECHREPORT{van03:xpdl,
  author = {W.M.P. van der Aalst},
  title = {Patterns and XPDL: A Critical Evaluation of the XML Process Definition
	Language},
  institution = {QUT Technical report, FIT-TR-2003-06, Queensland University of Technology,
	Brisbane},
  year = {2003}
}

@TECHREPORT{aalst02:bpml,
  author = {W.M.P. van der Aalst and M. Dumas and A.H.M. ter Hofstede and P.
	Wohed},
  title = {Pattern-Based Analysis of BPML (and WSCI)},
  institution = {QUT Technical report, FIT-TR-2002-05, Queensland University of Technology,
	Brisbane},
  year = {2002}
}

@ARTICLE{Aalst05:mining,
  author = {W.M.P. van der Aalst and A.J.M.M. Weijters},
  title = {Process Mining},
  journal = {In M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede, editors,
	Process-Aware Information Systems: Bridging People and Software through
	Process Technology, pages 235-255.},
  year = {2005},
  publisher = {Wiley \& Sons}
}

@INPROCEEDINGS{Aalst97,
  author = {W. M. P. van der Aalst},
  title = {Verification of Workflow Nets.},
  booktitle = {Lecture Notes in Computer Science: 18th International Conference
	on Application and Theory of Petri Nets, Toulouse, France, June 1997},
  year = {1997},
  editor = { {Az\'ema, P.} and {Balbo, G.}},
  volume = {1248},
  pages = {407--426},
  address = {Berlin, Germany},
  month = jun,
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{Aalst98:error,
  author = {W. M. P. van der Aalst},
  title = {Finding Errors in the Design of a Workflow Process: {A} Petri-net-based
	Approach.},
  booktitle = {Computing Science Reports/7: Proceedings of Workflow Management:
	Net-based Concepts, Models, Techniques and Tools (WFM'98)},
  year = {1998},
  editor = {van {der Aalst, W.} and {Michelis, G.} and {Ellis,C.}},
  volume = {98},
  pages = {60--81},
  address = {Lisbon, Portugal},
  publisher = {Eindhoven University of Technology, Eindhoven}
}

@ARTICLE{van98:3reasons,
  author = {W. M. P. van der Aalst},
  title = {Three Good reasons for Using a Petri-net-based Workflow Management
	System.},
  journal = {The Kluwer International Series in Engineering and Computer Science:
	Information and Process Integration in Enterprises: Rethinking Documents,
	Chapter 10},
  year = {1998},
  volume = {428},
  pages = {161--182},
  editor = { {Wakayama, T.} and {Kannapan, S.} and {Khoong, C.} and {Navathe,
	S.} and {Yates, J.}},
  publisher = {Kluwer Academic Publishers, Boston, Massachusetts}
}

@ARTICLE{Aalst99:EPCs,
  author = {W. M. P. van der Aalst},
  title = {Formalization and Verification of Event-driven Process Chains},
  journal = {Information and Software Technology},
  year = {1999},
  volume = {41},
  pages = {639--650},
  number = {10},
  keywords = {Petri nets, event-driven process chains, verification, workflow management;}
}

@INPROCEEDINGS{Aalst02:EPCs,
  author = {W. M. P. van der Aalst and J. Desel and E. Kindler},
  title = {On the Semantics of {EPC}s: {A} Vicious Circle.},
  booktitle = {Proceedings of the EPK 2002: Business Process Management using EPCs
	/ N\`ettgens, M.; Rump, F. (Eds.)},
  year = {2002},
  pages = {71--80},
  address = {Trier, Germany},
  month = nov,
  publisher = {Gesellschaft f\`er Informatik, Bonn}
}

@ARTICLE{Aalst02:yawl,
  author = {W. M. P. van der Aalst and A. H. M. ter ter Hofstede},
  title = {{YAWL}: Yet Another Workflow Language.},
  journal = {QUT Technical report, FIT-TR-2002-06},
  year = {2002},
  publisher = {Queensland University of Technology, Brisbane}
}

@ARTICLE{van02:wfpatterns,
  author = {W. M. P. van der Aalst and A. H. M. ter Hofstede and B. Kiepuszewski
	and A. P. Barros},
  title = {Workflow Patterns.},
  journal = {QUT Technical report, FIT-TR-2002-02},
  year = {2002},
  note = {(Also see http://www.tm.tue.nl/it/research/patterns)},
  publisher = {Queensland University of Technology, Brisbane}
}

@ARTICLE{954230,
  author = {Parosh Aziz Abdulla and S. Purushothaman Iyer and Aletta Nyl\'en},
  title = {SAT-Solving the Coverability Problem for Petri Nets},
  journal = {Form. Methods Syst. Des.},
  year = {2004},
  volume = {24},
  pages = {25--43},
  number = {1},
  address = {Hingham, MA, USA},
  doi = {http://dx.doi.org/10.1023/B:FORM.0000004786.30007.f8},
  issn = {0925-9856},
  publisher = {Kluwer Academic Publishers}
}

@BOOK{b_book,
  title = {The B-book: assigning programs to meanings},
  publisher = {Cambridge University Press},
  year = {1996},
  author = {J.-R. Abrial},
  address = {New York, NY, USA},
  isbn = {0-521-49619-5}
}

@INPROCEEDINGS{BB04,
  author = {Besrour Adel and Buchs Didier},
  title = {Modular Modelling and Construction of Finite Simulation in MORM},
  booktitle = {Conference on Modelling and Simulation},
  year = {2004}
}

@MISC{age,
  author = {AGEDIS},
  title = {AGEDIS homepage.},
  note = {http://www.agedis.de}
}

@ARTICLE{AgrawalKarsaiNeemaShiVizhanyo2006,
  author = {A. Agrawal and Gabor Karsai and Sandeep Neema and Feng Shi and Attila
	Vizhanyo},
  title = {The Design of a Language for Model Transformations},
  journal = {Journal on Software and System Modeling},
  year = {2006},
  volume = {5},
  pages = {261-288},
  number = {3},
  month = {September},
  url = {http://chess.eecs.berkeley.edu/pubs/277.html}
}

@TECHREPORT{great,
  author = {Aditya Agrawal and Gabor Karsai and Feng Shi},
  title = {{Graph Transformations on Domain-Specific Models}},
  institution = {Institute for Software Integrated Systems, Vanderbilt University},
  year = {2003}
}

@ARTICLE{DBLP:journals/entcs/AkehurstP04,
  author = {David H. Akehurst and Octavian Patrascoiu},
  title = {OCL 2.0 - Implementing the Standard for Multiple Metamodels.},
  journal = {Electr. Notes Theor. Comput. Sci.},
  year = {2004},
  volume = {102},
  pages = {21-41},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.entcs.2003.09.002}
}

@INPROCEEDINGS{Al-Shabibi03,
  author = {Ali Al-Shabibi and Didier Buchs and Mathieu Buffo and Stanislav Chachkov
	and Ang Chen and David Hurzeler},
  title = {Prototyping Object Oriented Specifications.},
  booktitle = {Proceedings of the 24th International Conference on Applications
	and Theory of Petri Nets (ICATPN 2003), LNCS},
  year = {2003},
  volume = {2679},
  pages = {473-482},
  month = {June},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{alonso96:advanced,
  author = {G. Alonso and M. Kamath and D. Agrawal and A. El Abbadi and R. Gunthor
	and C. Mohan},
  title = {Advanced transaction models in workflow contexts},
  booktitle = {In Proc. Intl. Conf. on Data Engineering, New Orleans},
  year = {February 1996}
}

@INPROCEEDINGS{moflon,
  author = {Carsten Amelunxen and Alexander K{\"o}nigs and Tobias R{\"o}tschke
	and Andy Sch{\"u}rr},
  title = {{MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations}},
  booktitle = {ECMDA-FA},
  year = {2006},
  pages = {361-375},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@MISC{bpel:spec,
  author = {Tony Andrews and Francisco Curbera and Hitesh Dholakia and Yaron
	Goland and Johannes Klein and Frank Leymann and Kevin Liu and Dieter
	Roller and Doug Smith and Satish Thatte and Ivana Trickovic and Sanjiva
	Weerawarana},
  title = {Business Process Execution Language for Web Service v1.1, IBM, BEA
	Systems, Microsoft, SAP AG, Siebel Systems, 2003},
  url = {http://www-128.ibm.com/developerworks/library/specification/ws-bpel/}
}

@MISC{batik,
  author = {Apache},
  title = {Batik SVG Toolkit},
  year = {2005},
  note = {\url{http://xmlgraphics.apache.org/batik/}}
}

@MISC{bpel:spec2,
  author = {Assaf Arkin and Sid Askary and Ben Bloch and Francisco Curbera and
	Yaron Goland and Neelakantan Kartha and Canyang Kevin Liu and Satish
	Thatte and Prasad Yendluri and Alex Yiu},
  title = {Web Services Business Process Execution Language Version 2.0, Committee
	Draft, 21 December 2005, TC OASIS},
  url = {http://www.oasis-open.org/committees/download.php/12791}
}

@PHDTHESIS{arnould96,
  author = {Agns Arnould},
  title = {Test partir de spcifications de structures bornes: une thorie du
	test, une mthode de slection, un outil d'assistance la slection},
  school = {Universit d'Evry},
  year = {1996}
}

@MISC{paradigmp,
  author = {Computer Associates},
  title = {Paradigm Plus},
  note = {\url{http://ca.com/products}}
}

@MISC{modelica,
  author = {{T}he {M}odelica Association},
  title = {Modelica publications},
  note = {http://www.modelica.org/publications}
}

@MISC{atl_web,
  author = {ATLAS, Group},
  title = {ATLAS Transformation Language},
  year = {2008},
  note = {\url{http://www.eclipse.org/m2m/atl/}},
  date-added = {2008-02-26 00:48:53 +0100},
  date-modified = {2008-02-26 00:49:53 +0100},
  keywords = {ATL, Transformation Languages, QVT}
}

@INPROCEEDINGS{EWMT05b,
  author = {Jean B\'ezivin and Fr\'ed\'eric Jouault and Jean Pali\`es},
  title = {Towards Model Transformation Design Patterns},
  booktitle = {Proceedings of the First European Workshop on Model Transformation
	(EWMT 2005)},
  year = {2005},
  url = {http://www.sciences.univ-nantes.fr/lina/atl/www/papers/DesignPatterns05.pdf}
}

@INPROCEEDINGS{conf/ecmdafa/BarberoJGB07,
  author = {Mika{\"e}l Barbero and Fr{\'e}d{\'e}ric Jouault and Jeff Gray and
	Jean B{\'e}zivin},
  title = {A Practical Approach to Model Extension.},
  booktitle = {ECMDA-FA},
  year = {2007},
  editor = {David H. Akehurst and R{\'e}gis Vogel and Richard F. Paige},
  volume = {4530},
  series = {Lecture Notes in Computer Science},
  pages = {32-42},
  publisher = {Springer},
  bdsk-url-1 = {http://dblp.uni-trier.de/db/conf/ecmdafa/ecmdafa2007.html#BarberoJGB07},
  date = {2007-06-29},
  date-added = {2008-04-21 11:32:12 +0200},
  date-modified = {2008-04-21 11:32:40 +0200},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/978-3-540-72901-3_3},
  isbn = {978-3-540-72900-6},
  keywords = {Metamodel Composition},
  url = {http://dblp.uni-trier.de/db/conf/ecmdafa/ecmdafa2007.html#BarberoJGB07}
}

@PHDTHESIS{Barbey97,
  author = {St\'ephane Barbey},
  title = {Test Selection for Specification-Based Unit Testing of Object-Oriented
	Software Based on Formal Specifications},
  school = {EPFL - Switzerland},
  year = {1997}
}

@INPROCEEDINGS{Barbey:94:TAADTFS,
  author = {Stphane Barbey and Didier Buchs},
  title = {Testing of {A}da Abstract Data Types using Formal Specifications},
  booktitle = {Eurospace Ada Europe '94 Symposium Proceedings},
  year = {1994},
  editor = {Marcel Toussaint},
  number = {887},
  series = {Lecture Notes in Computer Science},
  pages = {76--89},
  address = {Copenhagen, Danemark},
  month = sep # { 26-30},
  publisher = {Springer Verlag},
  note = {Also available as Tech. Report (EPFL-DI-LGL No 94/75)},
  abstract = {The purpose of this paper is to present an experiment with formal
	methods for the black-box testing of reusable abstract data types
	(ADTs). We propose to test a family of software components by re-engineering
	a formal specification from an existing Ada implementation, using
	algebraic specifications. From this well-defined basis, we generate
	test sets automatically, by constructing an exhaustive set of formulae
	that prove the property preservations of a program with respect to
	its specifications, and by reducing this set to a finite size by
	applying reduction hypotheses. Once the selection of a finite test
	set has been performed, we show how to build the oracle, the decision
	procedure for the success or the failure of a test set. Finally,
	we discuss the advantages of test sets generated from the formal
	specification over those defined by a programmer, based on his intuitive
	understanding of the behavior of the ADT. (for the slides, see ftp://pub/Papers/testing_adt-slides.ps)},
  keywords = {Paper, Ada, Testing, Conform},
  signature = {lglftp.epfl.ch:pub/Papers/barbey-testing_adt-TR95-75.ps}
}

@TECHREPORT{Barbey:96:ATSBTOOS,
  author = {Stphane Barbey and Didier Buchs and Ccile Praire},
  title = {A Theory of Specification-Based Testing for Object-Oriented Software},
  institution = {EPFL-DI-LGL},
  year = {1996},
  number = {96/163},
  month = jan,
  abstract = {The current strategies for testing object-oriented software all lack
	the formal basis which is necessary to preform this task efficiently.
	We propose the adaptation to object-oriented software of an existing
	theory of testing for stateless ADTs, to find errors in a class by
	checking that its implementation meets its specification. We present
	shortly in an informal way an object-oriented language, CO-OPN/2,
	in which language we will write the specification. We introduce a
	notion of test that takes into account the possible and impossible
	sequences of call of class methods. We examine the black-box test
	procedure, and give techniques to select a finite and pertinent test
	set from an exhaustive test set, including all the possible behaviours
	of the class under test, by applying test reduction hypothesis. We
	also study the construction of an oracle, the procedure that analyse
	the results of the tests, adapted to object-oriented software. Finally,
	we give some hints on how to satisfy to the economics of testing
	in the case of polymorphism and inheritance, and on an operational
	technique for the automatic tests selection.},
  keywords = {Paper, Testing, Conform},
  source = {authors},
  url = {lglftp.epfl.ch:pub/Papers/barbey-report96.ps}
}

@INPROCEEDINGS{Barbey:96:ATSBTOOSLNCS,
  author = {Stphane Barbey and Didier Buchs and Ccile Praire},
  title = {A Theory of Specification-Based Testing for Object-Oriented Software},
  booktitle = {Proceedings of EDCC2 (European Dependable Computing Conference)},
  year = {1996},
  series = {LNCS (Lecture Notes in Computer Science)},
  address = {Taormina, Italy},
  month = oct,
  publisher = {Springer Verlag},
  note = {Also available as Tech. Report (EPFL-DI-LGL No 96/163)},
  abstract = {The current strategies for testing object-oriented software all lack
	the formal basis which is necessary to perform this task efficiently.
	We propose the adaptation to object-oriented software of an existing
	theory of testing for stateless ADTs, to find errors in a class by
	checking that its implementation meets its specification. We present
	shortly in an informal way an object-oriented language, CO-OPN/2,
	in which language we will write the specification. We introduce a
	notion of test that takes into account the possible and impossible
	sequences of call of class methods. We examine the black-box test
	procedure, and give techniques to select a finite and pertinent test
	set from an exhaustive test set, including all the possible behaviors
	of the class under test, by applying test reduction hypothesis. We
	also study the construction of an oracle, the procedure that analyses
	the results of the tests, adapted to object-oriented software.},
  institution = {EPFL-DI-LGL},
  keywords = {Paper, Testing, Conform},
  url = {lglftp.epfl.ch:pub/Papers/barbey-edcc2-96.ps}
}

@TECHREPORT{Barbey98,
  author = {St{\'e}phane Barbey and Didier Buchs and C{\'e}cile P{\'e}raire},
  title = {Modelling the Production Cell Case Study using the Fusion Method},
  institution = {EPFL-DI},
  year = {1998},
  number = {98/298}
}

@INPROCEEDINGS{pe:ba:bu:96,
  author = {St{\'e}phane Barbey and Didier Buchs and C{\'e}cile P{\'e}raire},
  title = {A Theory of Specification-Based Testing for Object-Oriented Software.},
  booktitle = {EDCC},
  year = {1996},
  pages = {303-320}
}

@INPROCEEDINGS{DBLP:conf/fates/BarnettGNSTV03,
  author = {Michael Barnett and Wolfgang Grieskamp and Lev Nachmanson and Wolfram
	Schulte and Nikolai Tillmann and Margus Veanes},
  title = {Towards a Tool Environment for Model-Based Testing with AsmL.},
  booktitle = {FATES},
  year = {2003},
  pages = {252-266},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2931{\&}spage=252}
}

@TECHREPORT{barrocasurvey2006,
  author = {Bruno Barroca},
  title = {Rapid prototyping of user interfaces for control systems: a survey},
  institution = {Universidade Nova de Lisboa},
  year = {2006},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=TechReports}}
}

@INPROCEEDINGS{HALL:2007,
  author = {Bruno Barroca and Vasco Amaral},
  title = {(H)ALL: a DSVL for designing user interfaces for Control Systems},
  booktitle = {Proceedings of the 5th Nordic Workshop on Model Driven Engineering
	NW-MoDE},
  year = {2007},
  address = {Ronneby, Sweden},
  publisher = {Blekinge Institute of Technology}
}

@INPROCEEDINGS{Bastide:97:MFMOODC,
  author = {Remi Bastide and Didier Buchs},
  title = {Models, Formalisms and Methods for Object Oriented Didtributed Computing},
  booktitle = {Workshop Reader, ECOOP Conference 1997 },
  year = {1997},
  editor = {Stuart Mitchell and Jan Bosch},
  volume = {1357},
  series = {Lecture Notes in Computer Science},
  pages = {221--255},
  month = jun,
  publisher = {Springer Verlag},
  keywords = {Conform}
}

@INPROCEEDINGS{DBLP:conf/pts/BelinfanteFVTGFMH99,
  author = {Axel Belinfante and Jan Feenstra and Ren{\'e} G. de Vries and Jan
	Tretmans and Nicolae Goga and Loe M. G. Feijs and Sjouke Mauw and
	Lex Heerink},
  title = {Formal Test Automation: A Simple Experiment},
  booktitle = {IWTCS},
  year = {1999},
  pages = {179-196}
}

@TECHREPORT{Bell:Lapadula:73,
  author = {David Elliot Bell and Leonard LaPadula},
  title = {Secure Computer Systems: Mathematical Foundations},
  institution = {The MITRE Corporation},
  year = {1973},
  number = {2547}
}

@INPROCEEDINGS{DBLP:conf/compos/BerezinCC97,
  author = {Sergey Berezin and S{\'e}rgio Vale Aguiar Campos and Edmund M. Clarke},
  title = {Compositional Reasoning in Model Checking},
  booktitle = {COMPOS},
  year = {1997},
  pages = {81-102},
  ee = {http://link.springer.de/link/service/series/0558/bibs/1536/15360081.htm}
}

@INPROCEEDINGS{berlizev:cora,
  author = {Andrey Berlizev and Nicolas Guelfi},
  title = {Engineering Fault-tolerance Requirements using Deviations and the
	FIDJI Methodology},
  booktitle = {Proceedings of the Workshop on Methods, Models and Tools for Fault
	Tolerance},
  year = {2007},
  month = {June},
  date-added = {2008-02-29 11:16:03 +0100},
  date-modified = {2008-02-29 11:18:21 +0100},
  keywords = {CORA}
}

@INPROCEEDINGS{Ber91,
  author = {Gilles Bernot},
  title = {Testing Against Formal Specifications: A Theoretical View},
  booktitle = {TAPSOFT '91: Proceedings of the International Joint Conference on
	Theory and Practice of Software Development, Volume 2: Advances in
	Distributed Computing (ADC) and Colloquium on Combining Paradigms
	for Software Developmemnt (CCPSD)},
  year = {1991},
  pages = {99--119},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-53981-6}
}

@INPROCEEDINGS{DBLP:conf/tapsoft/Bernot91,
  author = {Gilles Bernot},
  title = {Testing Against Formal Specifications: A Theoretical View},
  booktitle = {TAPSOFT, Vol.2},
  year = {1991},
  pages = {99-119}
}

@ARTICLE{gaud:marr,
  author = {G. Bernot and M.-C. Gaudel and B. Marre},
  title = {Software Testing Based on Formal Specifications: a Theory and a Tool},
  journal = {IEEE Software Engineering Journal},
  year = {1991},
  volume = {6},
  pages = {387-405},
  number = {6}
}

@PHDTHESIS{Biberstein:97:CAOOFS,
  author = {Olivier Biberstein},
  title = {CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent
	Systems},
  school = {University of Geneva},
  year = {1997}
}

@PHDTHESIS{Biberstein:97:CAOOFSCS,
  author = {Olivier Biberstein},
  title = {CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent
	Systems},
  school = {University of Geneva},
  year = {1997},
  month = jul,
  note = {To appear},
  abstract = {not yet available},
  source = {author},
  url = {not yet available}
}

@MASTERSTHESIS{Biberstein:92:MLATIMM,
  author = {Olivier Biberstein},
  title = {{MOA}, un langage applicatif avec tableaux, et son implantation sur
	machine {MIMD}},
  school = {Universit of Genve/Universit de Montral},
  year = {1992},
  month = jul
}

@INPROCEEDINGS{Biberstein95a,
  author = {Olivier Biberstein and Didier Buchs},
  title = {Structured Algebraic Nets with Object-Orientation},
  booktitle = {Workshop on Object-Oriented Programming and Models of Concurrency'95},
  year = {1995},
  editor = {G. Agha and F. de Cindio},
  pages = {131--145},
  note = {Turin},
  abstract = {Not available},
  keywords = {Conform}
}

@INPROCEEDINGS{Biberstein:94:AOOSLHAPN,
  author = {Olivier Biberstein and Didier Buchs},
  title = {An Object-Oriented Specification Language Based on Hierarchical Algebraic
	{P}etri Nets},
  booktitle = {Working papers of the international Workshop on Information System
	Correctness and Reusability IS-CORE'94},
  year = {1994},
  editor = {R. Wieringa and R. Feenstra},
  pages = {47--62},
  address = {Amsterdam, The Netherlands},
  month = sep,
  organization = {vrije University},
  note = {Also available as Tech. Report (EPFL-DI-LGL No 94/76)},
  abstract = {During the last few years there has been significant interest in combining
	the benefits of an object-oriented approach with Petri net formalism
	which is suitable to modelling and simulation of concurrent systems.
	Nevertheless, for modelling some system behaviour dynamic creation
	of new components is often needed. In this paper we introduce a formalism
	based on algebraic Petri nets using the object-orientation paradigm.
	Object classes are specified by means of algebraic Petri nets, synchronization
	expressions link the class instances and static as well as dynamic
	creation of objects is allowed. Inheritance and subtyping are considered
	as two different mechanisms. Inheritance is viewed as a duplication
	mechanism while subtyping is considered at a semantic level as a
	relation between models. The order-sorted algebras framework captures
	the subtyping notion between the objects which are identified by
	order-sorted values. Language semantics is defined through distributed
	transition systems over the models of algebraic specification.},
  keywords = {Conform},
  source = {authors},
  url = { }
}

@INPROCEEDINGS{Biberstein:95:COOSAN,
  author = {Olivier Biberstein and Didier Buchs},
  title = {Concurrency and Object-Orientation with Structured Algebraic Nets},
  booktitle = {IS-CORE Workshop},
  year = {1995},
  pages = {73--75},
  address = {Evry},
  month = sep,
  abstract = {Not Available},
  keywords = {Conform},
  signature = {lglftp.epfl.ch:pub/Papers/biber-t2.ps}
}

@INPROCEEDINGS{Biberstein:95:SANOO,
  author = {Olivier Biberstein and Didier Buchs},
  title = {Structured Algebraic Nets with Object-Orientation},
  booktitle = {Proceedings of the first international workshop on ``Object-Oriented
	Programming and Models of Concurrency'' within the 16th International
	Conference on Application and Theory of Petri Nets},
  year = {1995},
  address = {Torino, Italy},
  month = jun # { 26-30},
  abstract = {The aim of this paper is to briefly introduce the Concurrent Object-Oriented
	Petri Net specification language CO-OPN/2 which has overcome some
	limitations of its object-based ancestor CO-OPN. Classes are described
	by means of algebraic nets in which places play the role of attributes,
	and methods function as external parameterized transitions. Inheritance
	and sub-typing are distinguished, with the former considered as a
	mechanism for reuse while the later is viewed on a semantic level,
	based on the substitutability principle with respect to the behavior
	of the objects. As in the CO-OPN language, cooperation between the
	objects is achieved by means of synchronization expressions which
	allow the designer to select object interaction policies.},
  keywords = {Conform},
  source = {authors}
}

@TECHREPORT{Biberstein:94:CAOOSLBHAN,
  author = {Olivier Biberstein and Didier Buchs},
  title = {{CO-OPN/2} {An} Object-Oriented Specification Language Based on Hierarchical
	Algebraic Nets},
  institution = {Swiss Federal Institute of Technology (EPFL), Software Engineering
	Laboratory},
  year = {1994},
  type = {Tech. Report},
  number = {94/76},
  abstract = {During the last few years there has been significant interest in combining
	the benefits of an object-oriented approach with Petri net formalism
	which is suitable to modelling and simulation of concurrent systems.
	Nevertheless, for modelling some system behaviour dynamic creation
	of new components is often needed. In this paper we introduce a formalism
	based on algebraic Petri nets using the object-orientation paradigm.
	Object classes are specified by means of algebraic Petri nets, synchronization
	expressions link the class instances and static as well as dynamic
	creation of objects is allowed. Inheritance and subtyping are considered
	as two different mechanisms. Inheritance is viewed as a duplication
	mechanism while subtyping is considered at a semantic level as a
	relation between models. The order-sorted algebras framework captures
	the subtyping notion between the objects which are identified by
	order-sorted values. Language semantics is defined through distributed
	transition systems over the models of algebraic specification.},
  keywords = {Conform},
  source = {authors},
  url = { }
}

@TECHREPORT{BBB95,
  author = {O. Biberstein and D. Buchs and C. Buffard and M. Buffo and J. Flumet
	and J. Hulaas and G. DiMarzo and P. Racloz},
  title = {SANDS1.5/CO-OPN1.5, An overview of the language and its supporting
	tools},
  institution = {Swiss Federal Institute of Technology (EPFL)},
  year = {June 1995},
  number = {95/133}
}

@TECHREPORT{Biberstein:95:SCAOLST,
  author = {O. Biberstein and D. Buchs and C. Buffard and M. Buffo and J. Flumet
	and J. Hulaas and G. Di Marzo and P. Racloz},
  title = {{SANDS1.5/CO-OPN1.5}, {A}n Overview of the Language and its Supporting
	Tools},
  institution = {Swiss Federal Institute of Technology (EPFL), Software Engineering
	Laboratory},
  year = {1995},
  type = {Tech. Report},
  number = {95/133},
  address = {Lausanne, Switzerland},
  month = jun,
  abstract = {In this document we give an overview of the CO-OPN/1.5 (Concurrent
	Object-Oriented Petri Nets) specification language and describe the
	features of each tool provided in the SANDS/1.5 (Structured Algebraic
	Net Development System) development environment. The CO-OPN/1.5 language
	is a specification language devised to support the development of
	large concurrent systems. The underlying formalisms of the language
	are algebraic specifications and Petri nets in which tokens correspond
	to algebraic values. Furthermore, in order to deal with large specifications,
	some structuring principles have been introduced and in particular,
	object-orientation paradigm has been adopted for the Petri nets.
	This means that a CO-OPN/1.5 specification is a collection of objects
	which interact concurrently. Interaction between the objects is achieved
	by means of synchronization expressions which allow the designer
	to select the object interaction policies. The development system
	provides many different tools such as a syntax checker, a simulator,
	a property verifier based on temporal logic, a graphic editor, a
	transformation tool supporting the derivation of specifications,
	an Ada translator which allows to analyze Ada programs in the CO-OPN/1.5
	framework, and a MIMD compiler.},
  source = {authors},
  url = { }
}

@INCOLLECTION{Biberstein:97:OONASCF,
  author = {Olivier Biberstein and Didier Buchs and Nicolas Guelfi},
  title = {Object-Oriented Nets with Algebraic Specifications: The {CO-OPN/2}
	formalism},
  booktitle = {Advances in Petri Nets on Object-Orientation},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {G. Agha and F. De Cindio},
  series = {Lecture Notes in Computer Science},
  note = {To appear},
  source = {authors}
}

@INPROCEEDINGS{Biberstein:01:OONWAS,
  author = {Olivier Biberstein and Didier Buchs and Nicolas Guelfi},
  title = {Object-Oriented Nets with Algebraic Specifications: The {CO-OPN/2}
	Formalism},
  booktitle = {Advances in Petri Nets on Object-Orientation},
  year = {2001},
  editor = {G. Agha and F. De Cindio and G. Rozenberg},
  series = {LNCS},
  pages = {70-127},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{Biberstein:96:AMCEUC,
  author = {Olivier Biberstein and Didier Buchs and Nicolas Guelfi},
  title = {A Modeling of Cooperative Editors Using {CO-OPN/2}},
  booktitle = {Proceedings of the second international workshop on ``Object-Oriented
	Programming and Models of Concurrency'' within the 16th International
	Conference on Application and Theory of Petri Nets},
  year = {1996},
  editor = {G. Agha and F. De Cindio and A. Yonezawa},
  pages = {25--42},
  address = {Osaka, Japan},
  month = jun # { 24},
  abstract = {In this paper we describe how to use the CO-OPN/2 (Concurrent Object-Oriented
	Petri Net) formalism, by developing a case study on groupware or,
	more specifically, on a cooperative editor of hierarchical diagrams.
	First of all, we present CO-OPN/2 and describe how some aspects specific
	to object orientation, such as the notions of class/object, of object
	reference and of the distinction between inheritance and sub-typing,
	are taken into account within the formalism. Afterwards, we show
	how these notions may be used for the modeling and the design of
	an editor of hierarchical Petri nets and discuss some points related
	to the concurrency. Finally, we show how flexible our modeling architecture
	is by giving some insight into to the design of other kinds of cooperative
	diagram editors.},
  source = {authors},
  url = { }
}

@INPROCEEDINGS{Biberstein:97:CCOOF,
  author = {Olivier Biberstein and Didier Buchs and Nicolas Guelfi},
  title = {{CO-OPN/2}: A Concurrent Object-Oriented Formalism},
  booktitle = {Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed
	Systems (FMOODS), Canterbury, UK, July 21-23 1997},
  year = {1997},
  pages = {57--72},
  publisher = {Chapman and Hall, Lo}
}

@INPROCEEDINGS{Biberstein:97:CCOOF,
  author = {Olivier Biberstein and Didier Buchs and Nicolas Guelfi},
  title = {{CO-OPN/2}: A Concurrent Object-Oriented Formalism},
  booktitle = {Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed
	Systems (FMOODS)},
  year = {1997},
  pages = {57--72},
  address = {Canterbury ,UK},
  month = mar,
  publisher = {Chapman and Hall, London},
  date = {21st-23rd July}
}

@TECHREPORT{Biberstein:96:CAMCSE,
  author = {Olivier Biberstein and Didier Buchs and Nicolas Guelfi},
  title = {{CO-OPN/2} Applied to the Modeling of Cooperative Structured Editors},
  institution = {Swiss Federal Institute of Technology (EPFL), Software Engineering
	Laboratory},
  year = {1996},
  type = {Tech. Report},
  number = {96/184},
  address = {Lausanne, Switzerland},
  abstract = {not available},
  source = {authors},
  url = {not available}
}

@TECHREPORT{Biberstein:96:CASLDSE,
  author = {Olivier Biberstein and Didier Buchs and Nicolas Guelfi},
  title = {{CO-OPN}/2 : {A} Specification Language for Distributed Systems Engineering},
  institution = {Swiss Federal Institute of Technology (EPFL), Software Engineering
	Laboratory},
  year = {1996},
  type = {Tech. Report},
  number = {96/167},
  address = {Lausanne, Switzerland},
  abstract = {In this article we present the concurrent object-oriented specification
	language {CO-OPN/2} which extends the {CO-OPN} (Concurrent Object
	Oriented Petri Nets) formalism, destined to support the development
	of large heterogenous distributed systems. The development of distributed
	applications has recently been the subject of intensive research,
	due to potential benefits that can be expected to offer in increasing
	reliability and overall performance of computer processing. One way
	of improving the effectiveness of the distributed system construction
	is to adopt a rigorous approach for system development, based on
	structuring principles. The {CO-OPN/2} approach proposes a specification
	language, based on the object-oriented paradigm, which includes a
	fine description of true concurrent behaviors. This hybrid approach
	(model and property-oriented) allows for a description of the concurrent
	aspects through the use of a high-level Petri nets formalism which
	includes data structures expressed with the algebraic abstract data
	types and a synchronization mechanism for building hierarchies of
	abstraction. This latter notion is the concept which is used in structuring
	applications. Interesting properties of {CO-OPN}, such as the progressive
	refinement of specifications, allow for the building of systems in
	an incremental manner.In this article, we introduce CO-OPN/2 informally,
	by means of a typical example of distributed systems, the transit
	node, in order to introduce each useful and innovative mechanism
	of the language. Then , in the context of distributed software engineering
	with CO-OPN/2, we present our current works done in order to provide
	formal methods for several steps of a life cycle model test, prototyping,
	analysis, etc.).},
  keywords = {software engineering, formal specification language, refinement, prototyping,
	distributed systems, object orientation, concurrency, Petri nets,
	algebraic specification.},
  url = {lglftp.epfl.ch:pub/Papers/biber-TR96-167.ps}
}

@INPROCEEDINGS{Biberstein:96:UCFMGAE,
  author = {Olivier Biberstein and Didier Buchs and Nicolas Guelfi},
  title = {Using the {CO-OPN/2} Formal Method for Groupware Applications Engineering},
  booktitle = {Proceedings of the IMACS-IEEE-SMC conference on Computational Engineering
	in Systems Application (CESA'96)},
  year = {1996},
  address = {Lille, France},
  month = jul,
  note = {Also available as Tech. Report (EPFL-DI-LGL No 96/187)},
  abstract = {CO-OPN/2 (Concurrent Object Oriented Petri Nets) is an object-oriented
	specification formalism based on Petri Nets and algebraic specifications.
	It is fully adapted to the specification of complex concurrent systems
	because it inherits the advantages of algebraic specifications for
	the specification of abstract data types, from Petri nets to describe
	partially ordered events and from the object-oriented paradigm for
	the 'structuring' of the specification. All these features are especially
	useful when speaking about groupware systems, which are application
	which demand rich modeling capabilities on concurrency and structuring.
	This paper explains the major principles for the specification of
	groupware systems with CO-OPN/2. This is done by mapping groupware
	concepts into CO-OPN/2 concepts and is demonstrated by means of an
	example of shared distributed diaries. Furthermore, we present the
	work done on the methodological approach for the development of concurrent
	object-oriented systems with CO-OPN/2 which cover analysis, specification,
	design, prototyping and testing. groupware, replication, object-orientation,
	distributed systems, formal methods, Petri Nets, algebraic specification
	of abstract data types, software engineering.},
  keywords = {groupware, replication, object-orientation, distributed systems, formal
	methods, Petri Nets, algebraic specification of abstract data types,
	software engineering},
  source = {authors},
  url = {lglftp.epfl.ch:pub/Papers/biber-CESA_96.ps}
}

@INPROCEEDINGS{dsl:lutz,
  author = {Lutz Bichler},
  title = {Tool Support for Generating Implementations of MOF-based Modeling
	Languages},
  booktitle = {Proceedings of the 3th OOPSLA Workshop on Domain-Specific Modeling},
  year = {2003}
}

@BOOK{Bidoit:2004:CASL-UM,
  title = {Casl User Manual},
  publisher = {Springer},
  year = {2004},
  author = {Michel Bidoit and Peter D. Mosses},
  series = {LNCS 2900 (IFIP Series)},
  note = {With chapters by T. Mossakowski, D. Sannella, and A. Tarlecki}
}

@BOOK{zBook,
  title = {The Z Notation: A Reference Manual},
  publisher = {Prentice-Hall},
  year = {1992},
  author = {Michel Bidoit and Peter D. Mosses}
}

@INPROCEEDINGS{emftrans1,
  author = {Enrico Biermann and Claudia Ermel and Gabriele Taentzer},
  title = {{Precise Semantics of EMF Model Transformations by Graph Transformation}},
  booktitle = {MODELS'08: Proceedings of ACM/IEEE 11th International Conference
	on Model Driven Engineering Languages and Systems},
  year = {2008},
  pages = {53-67},
  address = {Berlin, Germany},
  publisher = {Springer},
  isbn = {978-3-540-87874-2},
  location = {Toulouse, France}
}

@CONFERENCE{BGL2005,
  author = {Jan Olaf Blech and Sabine Glesner and Johannes Leitner},
  title = {Formal Verification of Java Code Generation from UML Models},
  year = {2005},
  month = {september},
  publisher = {Fujaba Days},
  abstract = {UML specifications offer the advantage to describe software systems
	while the actual task of implementing code for them is passed to
	code generators that automatically produce e.g.~Java code. For safety
	reasons, it is necessary that the generated code is semantically
	equivalent to the original UML specification. In this paper, we present
	our approach to formally verify within the Isabelle/HOL theorem prover
	that a certain algorithm for Java code generation from UML specifications
	is semantically correct. This proof is part of more extensive ongoing
	work aiming to verify UML transformations and code generation within
	the Fujaba tool suite. }
}

@INPROCEEDINGS{DBLP:conf/uml/BogerJMF02,
  author = {Marko Boger and Mario Jeckle and Stefan Mueller and Jens Fransson},
  title = {Diagram Interchange for UML.},
  booktitle = {UML},
  year = {2002},
  pages = {398-411}
}

@BOOK{brj98,
  title = {The Unified Modeling Language user guide},
  publisher = {Addison Wesley Longman Publishing Co., Inc.},
  year = {1999},
  author = {Grady Booch and James Rumbaugh and Ivar Jacobson},
  address = {Redwood City, CA, USA},
  isbn = {0-201-57168-4}
}

@MISC{togetherarchitect,
  author = {Borland},
  title = {Borland{\textregistered} Together - Visual Modeling for Software
	Architecture Design},
  note = {\url{http://www.borland.com/us/products/together/index.html}},
  date-added = {2008-02-26 00:10:09 +0100},
  date-modified = {2008-02-26 00:28:55 +0100},
  keywords = {MDA Case Tools, QVTTools, UML Case Tools},
  url = {http://www.borland.com/us/products/together/index.html}
}

@INPROCEEDINGS{DBLP:conf/jfplc/BouquetLPP00,
  author = {Fabrice Bouquet and Bruno Legeard and Fabien Peureux and Laurent
	Py},
  title = {Un syst{\`e}me de r{\'e}solution de contraintes ensemblistes pour
	l'{\'e}valuation de sp{\'e}cifications B.},
  booktitle = {JFPLC},
  year = {2000},
  pages = {125-144}
}

@BOOK{brams83a,
  title = {R\'eseaux de Petri: th\'eorie e pratique - Tome 1: Th\'eorie et analyse},
  publisher = {Masson},
  year = {1983},
  author = {G.W. Brams}
}

@BOOK{brams83b,
  title = {R\'eseaux de Petri: th\'eorie e pratique - Tome 2: Mod\'elisation
	et applications},
  publisher = {Masson},
  year = {1983},
  author = {G.W. Brams}
}

@INPROCEEDINGS{Brucker02aproposal,
  author = {Achim D. Brucker and Burkhart Wol},
  title = {A proposal for a formal OCL semantics in Isabelle/HOL},
  booktitle = {Theorem Proving in Higher Order Logics, LNCS 2410},
  year = {2002},
  pages = {99--114},
  publisher = {Springer}
}

@INPROCEEDINGS{bryant86graphbased,
  author = {R. Bryant},
  title = {Graph-based algorithms for boolean function manipulation},
  booktitle = {Transactions on Computers, C-35},
  year = {1986},
  pages = {677-691},
  publisher = {IEEE},
  text = {R. Bryant. Graph-based algorithms for boolean function manipulation.
	Transactions on Computers, C-35,},
  url = {citeseer.ifi.unizh.ch/bryant86graphbased.html}
}

@MISC{coursCD06,
  author = {D. Buchs},
  title = {Concurrency and Distribution, Master course 2006},
  text = {http://smv.unige.ch/tiki-index.php?page=Concurrency+and+Distributed+Systems}
}

@INPROCEEDINGS{buffo:buchs:04,
  author = {Didier Buchs and Mathieu Buffo},
  title = {A Formal Component-Oriented Design Language for Building Distributed
	System},
  booktitle = {Workshop on Petri Nets and Coordination},
  year = {2004},
  pages = {1-20},
  month = {June}
}

@INPROCEEDINGS{Buchs:94:STEDPP,
  author = {Didier Buchs and Mathieu Buffo and Jacques Flumet and Pascal Racloz
	and Erik Urland},
  title = {SANDS Tools : an environment for deriving parallel programs},
  booktitle = {Proceedings of CASE Tools Workshop of the World Transputer Congress
	1994},
  year = {1994},
  editor = {Innes Jelly and Ian Gorton},
  address = {Cernobbio, Italia},
  month = sep,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buchs:94:STEDPP/paper.ps.gz}
}

@TECHREPORT{Buchs:00:OOMAC,
  author = {Didier Buchs and Mathieu Buffo and Fabrice Kordon},
  title = {Object-Oriented Modeling and Analysis Capabilities},
  institution = {LIP6, Universite Pierre et Marie Curie},
  year = {2000},
  number = {2000/1},
  month = jan
}

@INPROCEEDINGS{Buchs:2003:MSMTSC/LGL,
  author = {Buchs, Didier and Chachkov, Stanislav and Hurzeler, David},
  title = {Modelling a {S}ecure, {M}obile and {T}ransactional {S}ystem with
	{CO}-{OPN}},
  booktitle = {Proceedings of the {I}nternational {C}onference on {A}pplication
	of {C}oncurrency to {S}ystem {D}esign, {G}uimar\~aes, {P}ortugal},
  year = {2003},
  editor = {Lilius, Johan and Balarin, Felice and Machado, Ricard J.},
  pages = {82--91},
  publisher = {IEEE CS Press},
  note = {Also available as Technical Report IC/2003/14, Ecole Polytechnique
	F\'ed\'erale de Lausanne (EPFL), School of Computer and Communication
	Sciences},
  abstract = {Modelling complex concurrent systems is often difficult and error-prone,
	in particular when new concepts coming from advanced practical applications
	are considered. These new application domains include dynamicity,
	mobility, security, and localization dependent computing. In order
	to fully model and prototype such systems we propose to use several
	concepts introduced in our specification language CO-OPN, like context,
	dynamicity, mobility, subtyping and inheritance. CO-OPN (Concurrent
	Object Oriented Petri Net) is a formal specification language for
	modelling distributed systems; it is based on coordinated algebraic
	Petri nets. This paper focuses on the use of several basic mechanisms
	of CO-OPN for modelling mobile systems and the generation of corresponding
	Java code. A significant example of distributors accessible through
	mobile devices (for example, PDA with Bluetooth) is fully modelled
	and implemented with our technique.},
  details = {http://infoscience.epfl.ch/search.py?recid=54722},
  documenturl = {http://infoscience.epfl.ch/getfile.py?mode=best&recid=54722},
  keywords = {Conform},
  unit = {LGL}
}

@INPROCEEDINGS{buc:cha:hur:03,
  author = {Didier Buchs and Stanislav Chachkov and David Hurzeler},
  title = {Modelling a Secure, Mobile, and Transactional System with CO-OPN},
  booktitle = {ACSD '03: Proceedings of the Third International Conference on Application
	of Concurrency to System Design},
  year = {2003},
  pages = {82},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1887-7}
}

@ARTICLE{Buchs:02:CBSMEV,
  author = {Didier Buchs and Sandro Costa and David Hurzeler},
  title = {Component Based System Modelling for Easier Verification},
  journal = {Concurrency in Dependable Computing},
  year = {2002},
  pages = {61 - 86},
  editor = {P. Ezhilchevan and A. Romanovski},
  publisher = {Kluwer}
}

@INPROCEEDINGS{Buchs:93:SSANDS,
  author = {Didier Buchs and Jacques Flumet and Pascal Racloz},
  title = {{SANDS}: Structured Algebraic Net Development System},
  booktitle = {14th International Conference on Application and Theory of {P}etri
	Nets, Tool presentation abstracts},
  year = {1993},
  editor = {Buy Ugo},
  pages = {25--29},
  month = jun,
  organization = {Chicago, USA}
}

@INPROCEEDINGS{Buchs:93:FDAPUSAPN,
  author = {Didier Buchs and Nicolas Guelfi},
  title = {Formal Development of Actor Programs Using Structured Algebraic {P}etri
	Nets},
  booktitle = {Int. Conference on parallel Architectures and Languages Europe {PARLE'93}},
  year = {1993},
  editor = {Bode Arndt and Reeve Mike and Wolf Gottfried},
  volume = {694},
  series = {LNCS},
  pages = {353--366},
  month = jun,
  organization = {ECRC, Munich Germany},
  publisher = {Springer-Verlag},
  issn_isbn = {2-906082-14-7}
}

@INPROCEEDINGS{Buchs:91:COOPNA,
  author = {Didier Buchs and Nicolas Guelfi},
  title = {{CO-OPN}: A Concurrent Object-Oriented {P}etri Nets Approach for
	system specification},
  booktitle = {12th International Conference on Application and Theory of {P}etri
	Nets},
  year = {1991},
  editor = {M. Silva},
  pages = {432--454},
  address = {Aahrus, Denmark},
  month = jun
}

@ARTICLE{Buchs:00:FSFOODS,
  author = {Didier Buchs and Nicolas Guelfi},
  title = {A Formal Specification Framework for Object-Oriented Distributed
	Systems},
  journal = {IEEE Transactions on Software Engineering},
  year = {2000},
  volume = {26},
  pages = {635-652},
  number = {7},
  month = {july}
}

@INPROCEEDINGS{BG91,
  author = {Didier Buchs and Nicolasi Guelfi},
  title = {A Concurrent Object Oriented Petri Nets Approach for system specification},
  booktitle = {12th International Conference on Application and Theory of Petri
	Nets},
  year = {1991},
  pages = {432-454}
}

@TECHREPORT{Buchs:90:CACOOPNM,
  author = {Didier Buchs and Nicolas Guelfi},
  title = {{CO-OPN}: A Concurrent Object Oriented {P}etri Nets Model},
  institution = {University of Paris-Sud},
  year = {1990},
  type = {Rapports de Recherche, LRI},
  number = {616}
}

@INPROCEEDINGS{DBLP:conf/apn/BuchsHMR10,
  author = {Didier Buchs and Steve Hostettler and Alexis Marechal and Matteo
	Risoldi},
  title = {AlPiNA: A Symbolic Model Checker},
  booktitle = {Petri Nets},
  year = {2010},
  volume = {6128},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}

@INPROCEEDINGS{Buchs:96:EPHDSHAPN,
  author = {Didier Buchs and Jarle Hulaas},
  title = {Evolutive Prototyping of Heterogeneous Distributed Systems using
	Hierarchical Algebraic Petri Nets},
  booktitle = {Proceedings of the International Conference on Systems, Man and Cybernetics},
  year = {1996},
  address = {Beijing, China},
  month = oct,
  organization = {IEEE}
}

@ARTICLE{Buchs:95:IOOICSPFS,
  author = {Didier Buchs and Jarle Hulaas},
  title = {Incremental Object Oriented Implementation of Concurrent Systems
	based on Prototyping of Formal Specifications},
  journal = {{SIPAR} workshop},
  year = {1995},
  pages = {141--145},
  month = oct,
  note = {Biel, Switzerland},
  abstract = {Not available},
  url = {lglftp.epfl.ch:pub/Papers/buchs-Sipar-OO-distr.abstract.ps}
}

@INPROCEEDINGS{Buchs:97:EVLSCSET,
  author = {Didier Buchs and Jarle Hulaas and Pascal Racloz},
  title = {Exploiting Various Levels of Semantics in CO-OPN for the SANDS Environment
	Tools},
  booktitle = {Tool Presentations, International Conference on Application and Theory
	of Petri Nets ICATPN'97},
  year = {1997},
  pages = {34--43},
  address = {Toulouse, France},
  month = jun,
  abstract = {This paper describes the techniques and tools developed to support
	the construction of CO-OPN specifications (Concurrent Object Oriented
	Petri Nets) [7] and the kind of semantics that are needed for each
	part of the environment. CO-OPN is a specification language which
	permits an abstract description of aspects of concurrent operations
	and data-structures of computer programs. The concurrent and operational
	part of the formalism is described by means of Petri nets, while
	the data-structures are described by means of algebraic abstract
	data types. In the CO-OPN formalism, these associations are structured
	with the notion of objects. CO-OPN specifications can be developed,
	analyzed and simulated in a dedicated environment called SANDS (Structured
	Algebraic Nets Development System [6]). Various semantics of CO-OPN
	are exploited: an abstract operational semantics is used for the
	logic programming simulator as well as for the test set generation
	tool, while a more concrete operational semantics based on transactions
	is necessary for prototyping on distributed systems. All these semantics
	are valid and partially complete on a subpart of the CO-OPN language
	with respect to its denotational semantics.},
  keywords = {Conform},
  signature = {lglftp.epfl.ch:pub/Papers/buchs-ICATPNtools97.ps.Z}
}

@INPROCEEDINGS{Buchs:93:CSDTDA,
  author = {Didier Buchs and Fabrice Mourlin and Lorens Safavi},
  title = {{CO-OPN} for Specifying a Distributed Termination Detection Algorithm},
  booktitle = {World Transputer Congress, Workshop on Software Engineering for Parallel
	Systems},
  year = {1993},
  volume = {3},
  pages = {25--29},
  month = sep,
  organization = {Aachen, Germany},
  publisher = {IOS Press}
}

@INPROCEEDINGS{dics:buchs06,
  author = {Didier Buchs and Luis Pedro and Levi Lucio},
  title = {Formal Test Generation From UML Models},
  booktitle = {Dependable Systems: Software, Computing, Networks: Research Results
	of the DICS Program},
  year = {2006},
  pages = {145-171},
  address = {Secaucus, NJ, USA},
  publisher = {Springer-Verlag New York, Inc.},
  isbn = {3540368213}
}

@ARTICLE{Buchs:96:DPPUST,
  author = {D. Buchs and P. Racloz and M. Buffo and J. Flumet and E. Urland},
  title = {Deriving Parallel Programs Using SANDS Tools},
  journal = {Transputer Communications},
  year = {1996},
  volume = {3},
  pages = {23--32},
  number = {1},
  month = jan,
  source = {Didier Buchs},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buchs:96:DPPUST/paper.ps.gz}
}

@BOOK{eclipe:emf_book,
  title = {Eclipse Modeling Framework},
  publisher = {Addison Wesley},
  year = {2004},
  author = {Frank Budinsky and David Steinberg and Ed Merks and Raymond Ellersick
	and Timothy J. Grose},
  series = {The Eclipse series},
  alteditor = {Erich Gamma and Lee Nackman and John Wiegand},
  url = {http://www.eclipse.org/emf/}
}

@BOOKLET{Buffo:95:COOPNLIB,
  title = {The CO-OPN library, version 2.3},
  author = {Mathieu Buffo},
  address = {CUI, Universit de Genve, Suisse},
  month = jul,
  year = {1995},
  editor = {Mathieu Buffo},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:95:COOPNLIB/book.ps.gz}
}

@BOOKLET{Buffo:95:TSPPLIB,
  title = {The TSPP library, version 1.1},
  author = {Mathieu Buffo},
  address = {CUI, Universit de Genve, Suisse},
  month = jul,
  year = {1995},
  editor = {Mathieu Buffo},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:95:TSPPLIB/book.ps.gz}
}

@INPROCEEDINGS{Buffo:96:CCDO,
  author = {Mathieu Buffo},
  title = {Contextual Coordination for Distributed Objects},
  booktitle = {Proceedings of the '96 SIPAR-Workshop on Parallel and Distributed
	Computing},
  year = {1996},
  editor = {C.A. Hritier and B. Chopard},
  address = {Genve, Suisse},
  month = oct,
  organization = {SIPAR},
  publisher = {CUI, Universit de Genve},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:96:CCDO/paper.ps.gz}
}

@PHDTHESIS{Buff97,
  author = {Mathieu Buffo},
  title = {Contextual Coordination: a Coordination Model for Distributed Object
	Systems},
  school = {University of Geneva},
  year = {1997}
}

@PHDTHESIS{Buffo:97:CCCMDOS,
  author = {Mathieu Buffo},
  title = {Contextual Coordination: a Coordination Model for Distributed Object
	Systems},
  school = {University of Geneva},
  year = {1997},
  source = {author},
  url = {not yet available}
}

@PHDTHESIS{Buffo:97:phd,
  author = {Mathieu Buffo},
  title = {Contextual Coordination: a coordination model for distributed object
	systems},
  school = {Universit\'e de Gen\`eve},
  year = {1997}
}

@TECHREPORT{Buffo:96:SI1,
  author = {Mathieu Buffo},
  title = {{Systmes Informatique 1}, travaux pratiques},
  institution = {Centre Universitaire Informatique},
  year = {1996},
  type = {Cahiers du CUI},
  number = {50},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:96:SI1/Livre.ps.gz}
}

@TECHREPORT{Buffo:93:CT,
  author = {Mathieu Buffo},
  title = {Collection de transformations (associes au logiciel {TTool})},
  institution = {Centre Universitaire Informatique},
  year = {1993},
  type = {Cahiers du CUI},
  number = {79},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  month = sep,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:93:CT/book.ps.gz}
}

@TECHREPORT{Buffo:93:TTO,
  author = {Mathieu Buffo},
  title = {Transformations : thorie et outils ({TTool} version 1,0)},
  institution = {Centre Universitaire Informatique},
  year = {1993},
  type = {Cahiers du CUI},
  number = {78},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  month = aug,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:93:TTO/book.ps.gz}
}

@MASTERSTHESIS{Buffo:92:ROSA,
  author = {Mathieu Buffo},
  title = {{ROSA}},
  school = {Universit de Genve, Suisse},
  year = {1992},
  month = june,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:92:ROSA/book.ps.gz}
}

@INPROCEEDINGS{Buffo:99:PMRMAPNC,
  author = {M. Buffo and D. Buchs},
  title = {Polymorphism and Module-Reuse Mechanisms for Algebraic Petri Nets
	in CoopnTools},
  booktitle = {Proceedings of the Tools Presentation of th 20th International Confernce
	on Application and Theory of Petri Nets (ICATPN'99)},
  year = {1999},
  editor = {S. Donatelli and J. Kleijn},
  month = jun
}

@INPROCEEDINGS{Buffo:96:CCO,
  author = {Mathieu Buffo and Didier Buchs},
  title = {Contextual Coordination between Objects},
  booktitle = {Proceedings of the X SBES Brazilian Symposium on Software Engineering},
  year = {1996},
  editor = {Jos Carlos Maldonado and Paulo Cesar Masiero},
  pages = {341--356},
  address = {So Carlos, Brasil},
  month = oct,
  organization = {ICMSC/USP and UFScar},
  publisher = {USP},
  reference = {CDD 001.642.5},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:96:CCO/paper.ps.gz}
}

@UNPUBLISHED{buffo:buchs,
  author = {M. Buffo and D. Buchs},
  title = {Symbolic Simulation of Coordinated Algebraic Petri Nets using Logic
	Programming},
  note = {University of Geneva -- Internal Note}
}

@INPROCEEDINGS{BB99,
  author = {Mathieu Buffo and Didier Buchs},
  title = {A Distributed Semantics for a IWIM-Based Coordination Language},
  booktitle = {COORDINATION '99: Proceedings of the Third International Conference
	on Coordination Languages and Models},
  year = {1999},
  pages = {415},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-65836-X}
}

@ARTICLE{Buffo:96:CCMDSOOS,
  author = {Mathieu Buffo and Didier Buchs},
  title = {Contextual Coordination for the Mapping of Distributed Systems on
	Object-Oriented Systems},
  journal = {Computer and Artificial Intelligence},
  year = {1997},
  volume = {16},
  number = {2},
  reference = {ISSN 0232-0274},
  source = {Mathieu Buffo}
}

@INPROCEEDINGS{Buffo:97:CMDOS,
  author = {Mathieu Buffo and Didier Buchs},
  title = {A Coordination Model for Distributed Object Systems},
  booktitle = {Proceedings of the Second International Conference on Coordination
	Models and Languages COORDINATION'97},
  year = {1997},
  volume = {1282},
  series = {Lecture Notes in Computer Science},
  pages = {410--413},
  publisher = {Springer Verlag},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:97:CMDOS/paper.ps.gz}
}

@INPROCEEDINGS{Buffo:94:DPPBRT,
  author = {Mathieu Buffo and Didier Buchs and Jos Rolim},
  title = {Developing parallel programs based on rewriting techniques},
  booktitle = {Proceedings of the IEEE/USP Workshop on High Performance Computing
	1994},
  year = {1994},
  editor = {Joo Zuffo},
  pages = {185--200},
  address = {So Paulo, Brasil},
  month = mar,
  organization = {IEEE / USP},
  publisher = {USP-LSI},
  reference = {CDU 681.322.06},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:94:DPPBRT/paper.ps.gz}
}

@INPROCEEDINGS{Buffo:94:TSPPTSPP,
  author = {Mathieu Buffo and Erik Urland},
  title = {{TSPP} : Transformations de Spcifications de problmes orientes vers
	le Paralllisme et le Probabilisme},
  booktitle = {Proceedings of the '94 SIPAR-Workshop on Parallel and Distributed
	Computing},
  year = {1994},
  editor = {Marc Aguilar},
  pages = {49--52},
  address = {Fribourg, Suisse},
  month = oct,
  organization = {SIPAR},
  publisher = {IIUG, Universit de Fribourg},
  note = {Internal working paper no 94-19},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:94:TSPPTSPP/paper.ps.gz}
}

@TECHREPORT{Buffo:95:TSPPDPDSFSP,
  author = {Mathieu Buffo and Erik Urland and Didier Buchs and Jos Rolim},
  title = {{TSPP} : Deriving Parallel or Distributed Solutions from Formally
	Specified Problems},
  institution = {Centre Universitaire Informatique},
  year = {1995},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  month = mar,
  note = {Revised paper, unpublished for personnal reasons},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:95:TSPPDPDSFSP/paper.ps.gz}
}

@INPROCEEDINGS{Buffo:95:PGPSFSP,
  author = {Mathieu Buffo and Erik Urland and Jos Rolim and Didier Buchs},
  title = {Progressive generation of parallel solutions for formally specified
	problems},
  booktitle = {Proceedings of the International Workshop on Parallel processing
	'94},
  year = {1995},
  editor = {Viktor Prasanna and Vijay Bhatkar and Lalit Patnaik and Satish Tripathi},
  pages = {89--93},
  address = {New Dehli, India},
  month = jan,
  organization = {IEEE},
  publisher = {Tata McGraw-Hill},
  reference = {ISBN 0-07-462332-X},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Buffo:95:PGPSFSP/paper.ps.gz}
}

@TECHREPORT{Buffo:94:PTSPP,
  author = {Mathieu Buffo and Erik Urland and Jos Rolim and Didier Buchs},
  title = {Le projet {TSPP}},
  institution = {Centre Universitaire Informatique},
  year = {1994},
  type = {Cahiers du CUI},
  number = {91},
  address = {CUI, Universit de Genve, {24, rue du Gnral Dufour}, 1211 Genve 4,
	Suisse},
  month = dec,
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/ref/TSPP.december-1994.CahierDuCUI-91/Cahier.ps.gz}
}

@ARTICLE{bur:dar:77,
  author = {R. M. Burstall and John Darlington},
  title = {A Transformation System for Developing Recursive Programs},
  journal = {J. ACM},
  year = {1977},
  volume = {24},
  pages = {44--67},
  number = {1},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/321992.321996},
  issn = {0004-5411},
  publisher = {ACM}
}

@ARTICLE{DBLP:journals/tse/CampbellR86,
  author = {Roy H. Campbell and Brian Randell},
  title = {Error Recovery in Asynchronous Systems.},
  journal = {IEEE Trans. Software Eng.},
  year = {1986},
  volume = {12},
  pages = {811-826},
  number = {8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@MISC{canver99formal,
  author = {E. Canver and F. von Henke},
  title = {Formal development of objectbased systems in a temporal logic setting},
  year = {1999},
  text = {E. Canver and F. von Henke. Formal development of objectbased systems
	in a temporal logic setting. In Formal Methods for Open Object-Based
	Distributed Systems, pages 419-- 436. Kluwer Academic Publishers,
	February 1999.},
  url = {citeseer.ist.psu.edu/canver99formal.html}
}

@INPROCEEDINGS{CDIPP:EWSA05,
  author = {Mauro Caporuscio and Davide Di Ruscio andPaola Inverardi and Patrizio
	Pelliccione and Alfonso Pierantonio},
  title = {Engineering MDA into Compositional Reasoning for Analyzing Middleware-based
	Applications},
  booktitle = {Second European Workshop on Software Architecture (EWSA 2005)},
  year = {2005},
  address = {Pisa, Italy},
  month = {June}
}

@INPROCEEDINGS{DBLP:conf/rodin/CapozuccaGP06,
  author = {Alfredo Capozucca and Nicolas Guelfi and Patrizio Pelliccione},
  title = {The Fault-Tolerant Insulin Pump Therapy},
  booktitle = {RODIN Book},
  year = {2006},
  pages = {59-79},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/11916246_3}
}

@PHDTHESIS{C04,
  author = {Stanislav Chachkov},
  title = {Generation of Object-Oriented programs from CO-OPN Specifications},
  school = {Ecole Polytechnique Federal de Lausanne},
  year = {2004}
}

@PHDTHESIS{Chachkov04,
  author = {Stanislav Chachkov},
  title = {Generation of Object-Oriented programs from CO-OPN Specifications},
  school = {Ecole Polytechnique Federal de Lausanne},
  year = {2004}
}

@INPROCEEDINGS{Chachkov:02:ISLNDP,
  author = {Stanislav Chachkov and Didier Buchs},
  title = {Interfacing Software Libraries from Non-deterministic Prototypes},
  booktitle = {Rapid System Prototyping, Darmstadt, DE},
  year = {2002},
  pages = {92 - 98},
  month = {July},
  publisher = {IEEE Computer Society Press},
  keywords = {Conform}
}

@INPROCEEDINGS{Chachkov:01:FAOOMRUESC,
  author = {Stanislav Chachkov and Didier Buchs},
  title = {From an Abstract Object-Oriented Model to a Ready-to-Use Embedded
	System Controller},
  booktitle = {Rapid System Prototyping, Monterey, CA},
  year = {2001},
  pages = {142 - 148},
  month = {June},
  publisher = {IEEE Computer Society Press}
}

@INPROCEEDINGS{Chachkov:01:FFSRUSCCOOPNA,
  author = {Stanislav Chachkov and Didier Buchs},
  title = {From Formal Specifications to Ready-to-Use Software Components: The
	Concurrent Object-Oriented Petri Net Approach},
  booktitle = {International Conference on Application of Concurrency to System
	Design, Newcastle},
  year = {2001},
  pages = {99 - 110},
  month = {June},
  publisher = {IEEE Computer Society Press}
}

@UNPUBLISHED{chantre06,
  author = {Adrien Chantre},
  title = {Implementation of a Test Language for CO-OPN: User Guide and Graphical
	User Interface},
  note = {Bachelor Thesis, Universit{\'e} de Gen{\`e}ve},
  year = {2006}
}

@INPROCEEDINGS{chen:petrinets:07,
  author = {Ang Chen and Didier Buchs},
  title = {Composing Business Process with ID-Net},
  booktitle = {International Workshop on Petri Nets and Software Engineering},
  year = {2007},
  month = {June},
  date-added = {2008-02-29 13:05:33 +0100},
  date-modified = {2008-02-29 13:13:26 +0100},
  keywords = {Ang, IDNet, SMV}
}

@INPROCEEDINGS{chen:ascd:2006,
  author = {Ang Chen and Didier Buchs},
  title = {{T}ransactional {B}usiness {P}rocess {D}esign and {P}rototyping:
	A COOPN Approach.},
  booktitle = {Sixth International Conference on Application of Concurrency to System
	Design (Submitted)},
  year = {2006},
  owner = {ang},
  timestamp = {2006.02.10}
}

@INPROCEEDINGS{chen:rise:2005,
  author = {Ang Chen and Didier Buchs},
  title = {{T}owards {S}ervice-based {B}usiness {P}rocess {M}odeling, {P}rototyping
	and {I}ntegration},
  booktitle = {Rapid Integration of Software Engineering techniques},
  year = {2006},
  volume = {LNCS 3943},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{chen:rsp:2006,
  author = {Ang Chen and Didier Buchs},
  title = {A {G}enerative {B}usiness {P}rocess {P}rototyping {F}ramework},
  booktitle = {17th IEEE International Workshop on Rapid System Prototyping (Submitted)},
  year = {2006},
  owner = {ang},
  timestamp = {2006.02.10}
}

@INPROCEEDINGS{chen:buchs:lucio:pedro:risoldi:moca06,
  author = {Ang Chen and Didier Buchs and Levi Lucio and Luis Pedro and Matteo
	Risoldi},
  title = {Modeling Distributed Systems using Concurrent Object Oriented Petri
	Nets},
  booktitle = {Fourth International Workshop on Modelling of Objects, Components,
	and Agents},
  year = {2006}
}

@ARTICLE{Chrysanthis91:acta,
  author = {P. Chrysanthis and K. Ramaritham},
  title = {A Formalism for Extended Transaction Models},
  journal = {Proc. International Conference on Very Large Data Bases},
  year = {September 1991}
}

@ARTICLE{Panos92:acta,
  author = {Panos K. Chrysanthis and Krithi Ramamritham},
  title = {ACTA: The SAGA Continues},
  journal = {Database Transaction Models for Advanced Applications},
  year = {1992},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{Clarke:Emerson:1981,
  author = {Clarke, Edmund M. and Emerson, E. Allen},
  title = {Design and Synthesis of Synchronization Skeletons Using Branching-Time
	Temporal Logic},
  booktitle = {Logic of Programs, Workshop},
  year = {1982},
  pages = {52--71},
  address = {London, UK},
  publisher = {Springer-Verlag},
  acmid = {747438},
  isbn = {3-540-11212-X},
  numpages = {20},
  url = {http://portal.acm.org/citation.cfm?id=648063.747438}
}

@ARTICLE{Clarke86automaticverification,
  author = {E. M. Clarke and E. A. Emerson and A. P. Sistla},
  title = {Automatic verification of finite-state concurrent systems using temporal
	logic specifications},
  journal = {ACM Transactions on Programming Languages and Systems},
  year = {1986},
  volume = {8},
  pages = {244--263}
}

@BOOK{clatin:96,
  title = {Manuel d'utilisation de TVEDA V3},
  publisher = {France T\'el\'ecom},
  year = {1996},
  author = {M. Clatin},
  note = {Manual LAA/EIA/EVP/109}
}

@UNPUBLISHED{coelho06,
  author = {S{\'e}rgio Coelho},
  title = {Implementation of a Test Language for CO-OPN: Syntactic and Static
	Semantics Verifications},
  note = {Bachelor Thesis, Universit{\'e} de G'en{\`e}ve},
  year = {2006}
}

@BOOK{coleman:94,
  title = {Object-Oriented Development: The Fusion Method},
  publisher = {Prentice-Hall},
  year = {1994},
  author = {D. Coleman and P. Arnold and S. Bodoff and C. Dollin and H. Gilchrist
	and F. Hayes and P. Jeremaes}
}

@INPROCEEDINGS{DBLP:conf/mdeis/CombemaleRCMPMC06,
  author = {Beno\^{\i}t Combemale and Sylvain Rougemaille and Xavier Cr{\'e}gut
	and Fr{\'e}d{\'e}ric Migeon and Marc Pantel and Christine Maurel
	and Bernard Coulette},
  title = {Towards Rigorous Metamodeling},
  booktitle = {MDEIS},
  year = {2006},
  pages = {5-14},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  date-added = {2008-02-25 15:01:36 +0100},
  date-modified = {2008-02-25 15:01:50 +0100},
  keywords = {Metamodeling}
}

@MISC{web_metaedit,
  author = {MetaCase Consulting},
  title = {MetaEdit+},
  note = {\url{http://www.metacase.com}},
  date-modified = {2008-02-26 00:34:50 +0100},
  keywords = {DSML, DSMLTools, MetaEdit+}
}

@INPROCEEDINGS{Coo00,
  author = {S Cook},
  title = {{The UML Family: Profiles, Prefaces and Packages}},
  booktitle = {UML2000 Conference Proceedings},
  year = {2000},
  editor = {A Evans, S Kent and B Selic},
  month = {unknown},
  publisher = {LNCS 1939},
  publication_type = {inproceedings},
  submission_id = {29802_999257282},
  url = {http://www.cs.ukc.ac.uk/pubs/2000/1255}
}

@BOOK{microsoft_dsltools,
  title = {Domain-Specific Development with Visual Studio DSL Tools},
  publisher = {Addison-Wesley Professional},
  year = {2007},
  author = {Steve Cook and Gareth Jones and Stuart Kent and Alan Cameron Wils},
  date-added = {2008-02-25 13:42:09 +0100},
  date-modified = {2008-02-25 13:45:49 +0100},
  keywords = {DSML, DSMLTools, MicrosoftDSLTools}
}

@MISC{OptimalJ,
  author = {Compuware Corporation},
  title = {OptimalJ},
  year = {2007},
  note = {\url{http://www.compuware.com/products/optimalj/}},
  date-modified = {2008-02-26 00:40:24 +0100},
  keywords = {MDA Case Tools}
}

@INPROCEEDINGS{Couvreur02:DDD,
  author = {J.-M. Couvreur and E.Encrenaz and E. Paviot-Adet and D. Poitrenaud
	and P. Wacrenier},
  title = {Data Decision Diagram for Petri Nets Analysis},
  booktitle = {23rd international conference on application and theory of Petri
	Nets (ATPN 2002), jun 2002, Australia.},
  year = {2002},
  volume = {LNCS vol 2360},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{couvreur.02.icatpn,
  author = {Jean-Michel Couvreur and Emmanuelle Encrenaz and Emmanuel Paviot-Adet
	and Denis Poitrenaud and Pierre-Andr{\'{e}} Wacrenier},
  title = {Data Decision Diagrams for {P}etri Net Analysis},
  booktitle = {Proceedings of the 23th International Conference on Application and
	Theory of Petri Nets (ICATPN'02)},
  year = {2002},
  volume = {2360},
  series = {Lecture Notes in Computer Science},
  pages = {101--120},
  address = {Adelaide, Australia},
  month = {June},
  publisher = {Springer Verlag},
  file = {icatpn02.pdf:articles/icatpn02.pdf:PDF}
}

@INPROCEEDINGS{couvreur.00.icatpn,
  author = {Jean-Michel Couvreur and S{\'{e}}bastien Grivet and Denis Poitrenaud},
  title = {Designing a {LTL} Model-Checker Based on Unfolding Graphs},
  booktitle = {Proceedings of the 21th International Conference on Applications
	and Theory of Petri Nets (ICATPN'00)},
  year = {2000},
  series = {Lecture Notes in Computer Science},
  address = {Aarhus, Denmark},
  month = JUN,
  publisher = {Springer-Verlag},
  file = {icatpn00.ps:articles/icatpn00.ps:PostScript}
}

@INPROCEEDINGS{ASSE:Cristia,
  author = {Maximiliano Cristi\'a and Gisela Giusti and Felipe Manzano},
  title = {The Implementation of Lisex, a MLS Linux Prototype},
  booktitle = {Proceedings of ASSE (Argentinian Symposium of Software Engineering)},
  year = {2005}
}

@BOOK{gp:CE00,
  title = {Generative programming: methods, tools, and applications},
  publisher = {ACM Press/Addison-Wesley Publishing Co.},
  year = {2000},
  author = {Krzysztof Czarnecki and Ulrich W. Eisenecker},
  address = {New York, NY, USA},
  isbn = {0-201-30977-7}
}

@INPROCEEDINGS{VIATRA,
  author = {D. Varro, G. Varro and A. Pataricza},
  title = {Designing the automatic transformation of visual languages.},
  booktitle = {Science of Computer Programming, vol. 44(2)},
  year = {2002},
  pages = {205--227}
}

@MISC{tuprolog,
  author = {DEIS},
  title = {tuProlog},
  note = {\url{http://alice.unibo.it/xwiki/bin/view/Tuprolog/}}
}

@ARTICLE{vandeursen00domainspecific,
  author = {Arie van Deursen and Paul Klint and Joost Visser},
  title = {Domain-Specific Languages: An Annotated Bibliography},
  journal = {SIGPLAN Notices},
  year = {2000},
  volume = {35},
  pages = {26-36},
  number = {6},
  url = {citeseer.csail.mit.edu/article/vandeursen00domainspecific.html}
}

@MISC{ibm:ws-trans,
  author = {IBM DeveloperWorks},
  title = {Web Services Transactions Specifications},
  url = {http://www-128.ibm.com/developerworks/library/specification/ws-tx/}
}

@INPROCEEDINGS{Dimarzo:98:FDJBWPA,
  author = {Di Marzo Serugendo, Giovanna and Guelfi, Nicolas},
  title = {Formal Development of Java Based Web Parallel Applications},
  booktitle = {Proceedings of the Hawai International Conference on System Sciences},
  year = {1998},
  signature = {lglftp.epfl.ch:pub/Papers/dimarzo-hicss98.ps}
}

@TECHREPORT{Dimarzo:97:FDJP,
  author = {Di Marzo Serugendo, Giovanna and Guelfi, Nicolas},
  title = {Formal Development of Java Programs},
  institution = {Software Engineering Laboratory, Swiss Federal Institute of Technology,
	Lausanne, Switzerland},
  year = {1997},
  number = {97/248},
  signature = {lglftp.epfl.ch:pub/Papers/dimarzo-TR97-248.ps}
}

@TECHREPORT{Dimarzo:97:FDVDSBCCAA,
  author = {Di Marzo Serugendo, Giovanna and Guelfi, Nicolas and Romanovsky,
	Alexander and Zorzo, Avelino},
  title = {Formal Development and Validation of the DSGamma System Based on
	{CO-OPN/2} and Coordinated Atomic Actions},
  institution = {University of Newcastle Upon Tyne, England},
  year = {1997},
  number = {to appear as 1997 - Technical Report of the Esprit Long Term Research
	Project 20072 ``Design For Validation''},
  address = {Department of Computing Science},
  abstract = {The objectives of this research are twofold. On the first hand, it
	aims to show the interest of Coordinated Atomic Actions (CAAs) as
	a design concept and, on the other hand it explains how the formal
	language CO-OPN/2 can be used to express a CAA design. A real distributed
	application is developed according to a simple development life cycle:
	informal requirements, specification, design, implementation. The
	design phase is built according to the CAA concept. The CO-OPN/2
	language is used to express the specification, and design phase.
	The implementation is made in Java based on a library of generic
	classes adapted to CAA concepts. The validation phase is shortly
	addressed, it just shows to what extend the development methodology
	followed in this paper can be useful for proving properties.},
  signature = {http://lglwww.epfl.ch/Team/NG/Deva/ToulouseReport/main.ps}
}

@INPROCEEDINGS{Dijkstra72,
  author = {E. W. Dijkstra},
  title = {Notes on structured programming},
  booktitle = {Structured Programming},
  year = {1972},
  editor = {O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare},
  pages = {1-82}
}

@UNPUBLISHED{EWD:EWD1036,
  author = {Edsger W. Dijkstra},
  title = {On the cruelty of really teaching computing science},
  note = {circulated privately},
  month = dec,
  year = {1988},
  url = {http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1036.PDF}
}

@INPROCEEDINGS{DBLP:conf/dagstuhl/Din04,
  author = {George Din},
  title = {TTCN-3.},
  booktitle = {Model-Based Testing of Reactive Systems},
  year = {2005},
  volume = {3472},
  series = {Lecture Notes in Computer Science},
  pages = {465-496},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@BOOK{Heiko,
  title = {Efficient Graph Rewriting and Its Implementation},
  publisher = {Springer},
  year = {1995},
  author = {Heiko Dorr},
  isbn = {3-54060-055-8}
}

@MANUAL{kermeta_manual,
  title = {Kermeta language - Reference manual},
  author = {Zo{\'e} Drey and Cyril Faucher and Franck Fleurey and Vincent Mah{\'e}
	and Didier Vojtisek},
  organization = {Triskell team},
  month = {January},
  year = {2008},
  abstract = {This manual presents the various aspects of the Kermeta language.
	This is the reference manual for anybody who want to use Kermeta},
  date-added = {2008-02-25 14:54:01 +0100},
  date-modified = {2008-02-25 14:55:50 +0100},
  keywords = {Metamodeling, Kermeta}
}

@MANUAL{kermetaManual,
  title = {Kermeta language - Reference Manual},
  author = {Zo� Drey and Cyril Faucher and Franck Fleurey and Vincent Mah� and
	Didier Vojtisek},
  organization = {Institut de Recherche en Informatique et Syst�mes Al�atoires},
  address = {France},
  month = {April},
  year = {2009}
}

@INPROCEEDINGS{Dummas01:UML,
  author = {M. Dumas and A. ter Hofstede},
  title = {UML Activity Diagrams as a Workflow Specification Language},
  booktitle = {In Proc. of the International Conference on the Unified Modeling
	Language (UML) Toronto, Canada},
  year = {October 2001, Springer Verlag}
}

@MISC{smartqvt_web,
  author = {Gr{\'e}goire DUPE and Mariano BELAUNDE and Romain PERRUCHON and H{\'e}l{\'e}na
	BESNARD and Florian GUILLARD and Vivian OLIVERES},
  title = {SmartQVT},
  note = {\url{http://smartqvt.elibel.tm.fr/}},
  date-added = {2008-02-26 00:50:55 +0100},
  date-modified = {2008-02-26 00:53:32 +0100},
  keywords = {Transformation Languages, QVT, SmartQVT}
}

@ARTICLE{Dutheillet02,
  author = {C. Dutheillet and I. Vernier-Mounier and J.-M. Ili and D. Poitrenaud},
  title = {Verification: State-Space-Based Methods and Model Checking.},
  journal = {Petri Nets for Systems Engineering},
  year = {2002},
  pages = {201--276},
  note = {InternalNote: Submitted by: hr},
  editor = {C. Girault and R. Valk},
  publisher = {Springer Verlag}
}

@INPROCEEDINGS{JacksonE.SztipanovitsJ.2006,
  author = {E. Jackson, J. Sztipanovits },
  title = {Towards A Formal Foundation For Domain Specific Modeling Languages},
  booktitle = {Proceedings of the Sixth ACM International Conference on Embedded
	Software (EMSOFT 06)},
  year = {2006},
  editor = {Sang Lyul Min, Wang Yi},
  pages = {53-63},
  month = {October},
  organization = {ACM},
  url = {http://chess.eecs.berkeley.edu/pubs/286.html}
}

@MISC{emf_web,
  author = {Eclipse},
  title = {Eclipse Modeling Framework},
  year = {2007},
  note = {\url {http://www.eclipse.org/modeling/emf/?project=emf}}
}

@BOOK{Em85,
  title = {Fundamentals of Algebraic Specification 1 : Equations and Initial
	Semantics},
  publisher = {Springer-Verlag},
  year = {1985},
  author = {Hartmut Ehrig and Bernd Mahr},
  volume = {6},
  series = {EATC Monographs}
}

@BOOK{graphs99,
  title = {Handbook of Graph Grammars and Computing by Graph Transformation},
  publisher = {World Scientific},
  year = {1999},
  author = {Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.}
}

@BOOK{graphs06,
  title = {Fundamentals of Algebraic Graph Transformation},
  publisher = {Springer},
  year = {2006},
  author = {Ehrig, H., Ehrig, K., Prange, U., Taentzer}
}

@INPROCEEDINGS{mtip2005,
  author = {Karsten Ehrig and Esther Guerra and de Lara, Juan and Laszl\'o Lengyel
	and Tiham\'er Levendovszky and Ulrike Prange and Gabriele Taentzer
	and D\'aniel Varr\'o and Szilvia Varr\'o-Gyapay},
  title = {Model Transformation by Graph Transformation: A Comparative Study},
  booktitle = {MTiP 2005, International Workshop on Model Transformations in Practice
	(Satellite Event of MoDELS 2005)},
  year = {2005},
  optabstract = { Graph transformation has been widely used for expressing model transformations.
	Especially transformations of visual models can be naturally formulated
	by graph transformations, since graphs are well suited to describe
	the underlying structures of models. Based on a common sample model
	transformation, four different model transformation approaches are
	presented which all perform graph transformations. At first, a basic
	solution is presented and crucial points of model transformations
	are indicated. Subsequent solutions focus mainly on the indicated
	problems. Finally, a first comparison of the chosen approaches to
	model transformation is presented where the main ingredients of each
	approach are summarized. },
  url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2005/mtip05.pdf}
}

@INPROCEEDINGS{M.J.2006,
  author = {Emerson M., Sztipanovits J.},
  title = {Techniques for Metamodel Composition},
  booktitle = {OOPSLA - 6th Workshop on Domain Specific Modeling},
  year = {2006},
  pages = {123-139},
  month = {October},
  url = {http://chess.eecs.berkeley.edu/pubs/289.html}
}

@MISC{fondue_web,
  author = {EPFL},
  title = {{F}ondue {B}uilder},
  note = {\url{http://fondue.epfl.ch/}}
}

@MISC{ESCJava,
  author = {ESC/Java2},
  title = {Extended Static Checker for Java version 2},
  note = {\url{http://secure.ucd.ie/products/opensource/ESCJava2/}}
}

@TECHREPORT{Farahbod04:bpel,
  author = {R. Farahbod and U. Glasser and M. Va jihollahi},
  title = {Abstract operational semantics of the Business Process Execution
	Language for Web Services},
  institution = {Technical Report SFU-CMPT-TR-2004-03, School of Computer Science,
	Simon Fraser University, Burnaby B.C. Canada},
  year = {April 2004}
}

@ARTICLE{DBLP:journals/scp/FernandezJJV97,
  author = {Jean-Claude Fernandez and Claude Jard and Thierry J{\'e}ron and C{\'e}sar
	Viho},
  title = {An Experiment in Automatic Generation of Test Suites for Protocols
	with Verification Technology},
  journal = {Sci. Comput. Program.},
  year = {1997},
  volume = {29},
  pages = {123-146},
  number = {1-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Ferrara04:ws,
  author = {A. Ferrara},
  title = {Web services: a process algebra approach},
  booktitle = {In Proceedings of 2nd International Conference on Service Oriented
	Computing, pages 242?251, New York, NY, USA. ACM Press},
  year = {2004}
}

@INPROCEEDINGS{Fisteus04:bpel,
  author = {J.A. Fisteus and L.S. Fernandez and C.D. Kloos},
  title = {Formal verification of BPEL4WS business collaborations},
  booktitle = {In Proceedings of 5th International Conference on Electronic Commerce
	and Web Technologies (EC-Web\`e4), volume 3180 of Lecture Notes in
	Computer Science, pages 76?85, Zaragoza, Spain, Springer-Verlag},
  year = {August 2004}
}

@PHDTHESIS{Flumet:EDSSC:95,
  author = {Jacques Flumet},
  title = {Un environnement de dveloppement de spcifications pour systmes concurrents},
  school = {Universit de Genve},
  year = {1995},
  source = {author}
}

@TECHREPORT{fondement:04,
  author = {Fondement, F. and Silaghi, R.},
  title = {Defining Model Driven Engineering Processes},
  institution = {Swiss Federal Institute of Technology in Lausanne, Switzerland},
  year = {2004},
  number = {IC/2004/94},
  month = {November}
}

@INPROCEEDINGS{Foster03:ws,
  author = {H. Foster and S. Uchitel and J. Magee and J. Kramer},
  title = {Model-based verification of Web service composition},
  booktitle = {In Proceedings of 18th IEEE International Conference on Automated
	Software Engineering, pages 152?161, Montreal, Canada, IEEE Computer
	Society},
  year = {October 2003}
}

@BOOK{Brooks75,
  title = {{The mythical man-month -- Essays on Software-Engineering}},
  publisher = {Addison Wesley},
  year = {1975},
  author = {Frederick P. Brooks, Jr.},
  topics = {Programming/Software Engineering}
}

@INPROCEEDINGS{Fu04:bpel,
  author = {X. Fu and T. Bultan and J. Su},
  title = {Analysis of interacting BPEL web services},
  booktitle = {In Proceedings of 13th International Conference on World Wide Web,
	pages 621?630, New York, NY, USA, ACM Press.},
  year = {2004}
}

@ARTICLE{Narayanan2002,
  author = {Narayanan A.and Karsai G.},
  title = {Towards Verifying Model Transformations.},
  journal = {Electronic Notes in Theoretical Computer Science. vol 211},
  year = {2002},
  pages = {191--200}
}

@INPROCEEDINGS{Gabriel2010CIBSE,
  author = { Pedro Gabriel and M. A. Goulao and V. Amaral },
  title = { Do Software Languages Engineers Evaluate their Languages? },
  booktitle = { XIII Congresso Iberoamericano en "Software Engineering" },
  year = { 0000 },
  publisher = { CIbSE2010 }
}

@MISC{junit_web,
  author = {Erich Gamma and Kent Beck},
  title = {JUnit.org},
  note = {\url{http://www.junit.org/}}
}

@TECHREPORT{Garcia90:nestedsagas,
  author = {H. Garcia-Molina and D. Gawlick and J. Klein},
  title = {Coordinating Multi-Transaction Activities},
  institution = {Tech Rep CS-TR-247-90, Princeton Univ},
  year = {1990},
  timestamp = {2006.02.12}
}

@ARTICLE{Garcia91:nestedsagas,
  author = {H. Garcia-Molina and D. Gawlick and J. Klein and K. Kleissner and
	K. Salem},
  title = {Modeling Long-Running Activities as Nested Sagas},
  journal = {Data Engineering, Vol. 14, No. 1},
  year = {1991},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{Garcia87:sagas,
  author = {H. Garcia-Molina and K. Salem},
  title = {Sagas},
  booktitle = {SIGMOD International Conference on Management of Data},
  year = {1987},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{gaud95,
  author = {Marie-Claude Gaudel},
  title = {Testing Can Be Formal, Too},
  booktitle = {TAPSOFT '95: Proceedings of the 6th International Joint Conference
	CAAP/FASE on Theory and Practice of Software Development},
  year = {1995},
  pages = {82--96},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-59293-8}
}

@MISC{poseidon_web,
  author = {Gentleware},
  title = {Poseidon {UML}},
  note = {\url{http://www.gentleware.com/index.php}}
}

@INPROCEEDINGS{dsl:gerber04,
  author = {Anna Gerber and Michael Lawley},
  title = {Generating Model-Specific Editors for MDA},
  booktitle = {Proceedings of the 4th OOPSLA Workshop on Domain-Specific Modeling},
  year = {2004}
}

@INPROCEEDINGS{gerber,
  author = {Anna Gerber and Kerry Raymond},
  title = {MOF to EMF: there and back again},
  booktitle = {eclipse '03: Proceedings of the 2003 OOPSLA workshop on eclipse technology
	eXchange},
  year = {2003},
  pages = {60--64},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/965660.965673},
  location = {Anaheim, California}
}

@INPROCEEDINGS{gerth95simple,
  author = {Rob Gerth and Doron Peled and Moshe Y. Vardi and Pierre Wolper},
  title = {Simple On-the-fly Automatic Verification of Linear Temporal Logic},
  booktitle = {Protocol Specification Testing and Verification},
  year = {1995},
  pages = {3--18},
  address = {Warsaw, Poland},
  publisher = {Chapman \& Hall},
  url = {citeseer.ist.psu.edu/gerth95simple.html}
}

@ARTICLE{DBLP:journals/mscs/GoguenD94,
  author = {Joseph A. Goguen and Razvan Diaconescu},
  title = {An Oxford Survey of Order Sorted Algebra.},
  journal = {Mathematical Structures in Computer Science},
  year = {1994},
  volume = {4},
  pages = {363-392},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{GM92,
  author = {Joseph A. Goguen and Jos\'e Meseguer},
  title = {Order-sorted algebra 1: Equational deduction for multiple inheritance,
	overloading, exceptions and partial operations.},
  journal = {Theoretical Computer Science},
  year = {1992},
  volume = {105(2)},
  pages = {217-273},
  publisher = {Elsevier}
}

@INPROCEEDINGS{GG75,
  author = {John B. Goodenough and Susan L. Gerhart},
  title = {Toward a theory of test data selection},
  booktitle = {Proceedings of the international conference on Reliable software},
  year = {1975},
  pages = {493--510},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/800027.808473},
  location = {Los Angeles, California}
}

@MISC{xmi_web,
  author = {Object Management Group},
  title = {{X}{M}{L} {M}etadata {I}nterchange},
  note = {\url{http://www.omg.org/technology/documents/formal/xmi.htm}}
}

@MISC{uml_web,
  author = {Object Management Group},
  title = {Unified {M}odeling {L}anguage Version 2.0},
  month = {August},
  year = {2005},
  note = {\url{http://www.omg.org/technology/documents/formal/uml.htm}}
}

@MISC{omg:edoc,
  author = {Object Management Group},
  title = {UML Profile for enterprise distributed Object Computing},
  year = {2004},
  annote = {\url {http://www.omg.org/technology/documents/formal/edoc.htm}}
}

@TECHREPORT{mda_specification,
  author = {Object Management Group},
  title = {MDA Guide Version 1.0.1},
  institution = {OMG},
  year = {2003},
  month = {June},
  optnote = {\url {http://www.omg.org/cgi-bin/doc?omg/03-06-01}}
}

@MISC{omg:mof,
  author = {Object Management Group},
  title = {{M}eta-{O}bject {F}acility Specification},
  month = {April},
  year = {2002},
  note = {\url {http://www.omg.org/technology/documents/formal/mof.htm}}
}

@MISC{alpina_web,
  author = {{S}mv Group},
  title = {AlPiNA Model Checker},
  year = {2010},
  note = {\url{http://alpina.unige.ch}}
}

@TECHREPORT{Guelfi2010,
  author = {Nicolas Guelfi},
  institution = {Laboratory for Advanced Software Systems, University of Luxembourg},
  year = {2010},
  number = {TR-LASSY-10-01},
  note = {Available on request - mail to levi.lucio@uni.lu},
  booktitle = {LASSY Technical Report - submitted to ACM journal Transactions on
	Software Engineering and Methodology (TOSEM)}
}

@ARTICLE{Guelfi:97:HAN,
  author = {Nicolas Guelfi},
  title = {Hierarchical Algebraic Nets},
  journal = {IEEE International Conference on Systems, Man and Cybernetics},
  year = {1997},
  pages = {1722--1728},
  month = oct,
  note = {Orlando-Florida},
  abstract = {This paper presents a specifications formalism, Hierarchical Algebraic
	Nets (HAN), which allows the specification and design of heterogeneous
	concurrent distributed systems using hierarchical descriptions based
	on algebraic specifications and Petri nets. A simple example is firstly
	given in order to present the graphical representation associated
	to HAN, then the abstract syntax and formal semantics are described.
	The interesting aspects of HAN for reactive distributed systems development
	are listed and the link between the HAN model to the SANDS development
	environment is summarised.},
  signature = {lglftp.epfl.ch:pub/Papers/guelfi-smc97.ps}
}

@TECHREPORT{Guelfi:95:HAN,
  author = {Nicolas Guelfi},
  title = {Hierarchical Algebraic Nets},
  institution = {Software Engineering Laboratory, Swiss Federal Institute of Technology,
	Lausanne, Switzerland},
  year = {1995},
  number = {95/99},
  month = jan
}

@PHDTHESIS{Guelfi:94:LRAHFSSDSC,
  author = {Nicolas Guelfi},
  title = {Les Rseaux Algbriques Hirarchiques : un formalisme de spcifications
	structures pour le dveloppement de systmes concurrents},
  school = {Universit Paris XI Orsay},
  year = {1994},
  month = dec,
  note = {also in Hierarchical Algebraic Nets, Technical report 095/99, Software
	Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne,
	Switzerland, January 1995}
}

@TECHREPORT{Guelfi:97:COOFM,
  author = {N. Guelfi and O. Biberstein and D. Buchs and E. Canver and M-C. Gaudel
	and F. von Henke and D. Schwier},
  title = {Comparison of Object-Oriented Formal Methods},
  institution = {University of Newcastle Upon Tyne},
  year = {1997},
  number = {to appear as 1997 - Technical Report of the Esprit Long Term Research
	Project 20072 ``Design For Validation''},
  address = {Department of Computing Science}
}

@INPROCEEDINGS{Gunther05:cpn,
  author = {Christian W. Gunther and Wil M.P. van der Aalst},
  title = {Modeling the Case Handling Principles with Colored Petri Nets},
  booktitle = {Proceedings of the Sixth Workshop and Tutorial on Practical Use of
	Coloured Petri Nets and the CPN Tools, Department of Computer Science,
	University of Aarhus, PB-576, 211-230},
  year = {October 2005}
}

@TECHREPORT{ocl_spec,
  author = {{O}bject {M}anagement {G}roup},
  title = {Object Constraint Language Specification, version 2.0},
  institution = {{O}{M}{G}},
  year = {2006},
  month = {May}
}

@MISC{omg:qvt,
  author = {{O}bject {M}anagement {G}roup},
  title = {Query/View/Transformation Specification},
  month = {December},
  year = {2005},
  note = {\url {http://www.omg.org/cgi-bin/apps/doc?ptc/05-11-01.pdf}}
}

@MISC{coopnbuilder_web,
  author = {{S}mv {G}roup},
  title = {{C}oopn{B}uilder},
  year = {2007},
  note = {\url{http://smv.unige.ch/tiki-index.php?page=DownloadCoopn}}
}

@INPROCEEDINGS{Biberstein:92:LCFTCMIMD,
  author = {G. Hains and O. Biberstein and C. Foisy},
  title = {La Compilation de Fonctions de Tableaux en Code {MIMD}},
  booktitle = {Secondes Journes Francophones des Langages Applicatifs, {JFLA-92}},
  year = {1992},
  editor = {C. Queinnec},
  pages = {3--20},
  address = {Perros-Guirec, France},
  month = feb,
  note = {Revue Bigre no. 76-77},
  abstract = {Nous prsentons MOA, un langage fonctionnel strict fortement typ de
	la famille ML, modifi par l'inclusion d'objets de type tableau. Un
	compilateur pour MOA gnrant du code MIMD pour un rseau de transputers
	est ensuite dcrit. Les tableaux sont multidimensionnels et munis
	de descripteurs de forme. Le compilateur applique une infrence de
	formes qui lui permet de parallliser efficacement les oprations sur
	les tableaux. Le systme rsultant permet de programmer du paralllisme
	de donnes dans un style fonctionnel pur tout en minimisant les cots
	de communication.},
  source = {authors}
}

@INPROCEEDINGS{dsl:atom3,
  author = {Hans Vangheluwe, Juan de Lara},
  title = { Domain-Specifc Visual Modelling in AToM3},
  booktitle = {Proceedings of the 4th OOPSLA Workshop on Domain-Specific Modeling},
  year = {2004}
}

@ARTICLE{DBLP:journals/scp/Harel87,
  author = {David Harel},
  title = {Statecharts: A Visual Formulation for Complex Systems.},
  journal = {Sci. Comput. Program.},
  year = {1987},
  volume = {8},
  pages = {231-274},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{Rhapsody:Harel:2004,
  author = {Harel, David and Kugler, Hillel },
  title = {The Rhapsody Semantics of Statecharts (or, On the Executable Core
	of the UML)},
  journal = {Lecture notes in computer science},
  year = {2004},
  abstract = {We describe the semantics of statecharts as implemented in the current
	version of the RHAPSODY tool. In its original 1996 version this was
	among the first executable semantics for object-oriented statecharts,
	and many of its fundamentals have been adopted in the Unified Modeling
	Language (UML). Due to the special challenges of object-oriented
	behavior, the semantics of statecharts in RHAPSODY differs from the
	original semantics of statecharts in STATEMATE. Two of the main differences
	are: (i) in RHAPSODY, changes made in a given step are to take effect
	in the current step and not in the next step; (ii) in RHAPSODY, a
	step can take more than zero time. This paper constitutes the first
	description of the executable semantics of RHAPSODY, highlighting
	the differences from the STATEMATE semantics and making an effort
	to explain the issues clearly but rigorously, including the motivation
	for some of the design decisions taken.},
  address = {Berlin},
  keywords = {rhapsody semantics statecharts},
  priority = {0},
  publisher = {Springer}
}

@MISC{harel00modeling,
  author = {D. Harel and B. Rumpe},
  title = {Modeling Languages: Syntax, Semantics and All That Stuff},
  year = {2000},
  text = {David Harel, Bernhard Rumpe, Modeling Languages: Syntax, Semantics
	and All That Stuff, Technical paper number MCS00-16, The Weizmann
	Institute of Science, 2000. available on http://www.cs.york.ac.uk/puml/},
  url = {citeseer.ist.psu.edu/harel04modeling.html}
}

@MISC{HaslerSiftung,
  author = {Hasler},
  title = {HaslerSiftung},
  note = {http://www.haslerstiftung.ch/eng/index.html}
}

@MASTERSTHESIS{heck:bachelor,
  author = {Stephane Heck},
  title = {Model Transformation and Verification: building the basis for a generic
	tool},
  school = {Centre Universitaire D'Informatique, Universite de Gen\`eve },
  year = {2005},
  type = {Bachelor Thesis},
  month = {September}
}

@BOOK{Hen90,
  title = {The semantics of programming languages: an elementary introduction
	using structural operational semantics},
  publisher = {John Wiley \& Sons, Inc.},
  year = {1990},
  author = {Matthew Hennessy},
  address = {New York, NY, USA},
  isbn = {0-471-92772-4}
}

@ARTICLE{HML85,
  author = {Matthew Hennessy and Robin Milner},
  title = {Algebraic laws for nondeterminism and concurrency},
  journal = {J. ACM},
  year = {1985},
  volume = {32},
  pages = {137--161},
  number = {1},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/2455.2460},
  issn = {0004-5411},
  publisher = {ACM Press}
}

@ARTICLE{Hennessy86,
  author = {Matthew Hennessy and Colin Stirling},
  title = {The power of the future perfect in program logics},
  journal = {Inf. Control},
  year = {1986},
  volume = {67},
  pages = {23--52},
  number = {1-3},
  address = {San Diego, CA, USA},
  doi = {http://dx.doi.org/10.1016/S0019-9958(85)80025-5},
  issn = {0019-9958},
  publisher = {Academic Press Professional, Inc.}
}

@INPROCEEDINGS{Hinz05:bpel,
  author = {S. Hinz and K. Schmidt and C. Stahl},
  title = {Transforming BPEL to Petri nets},
  booktitle = {Proceedings of 3rd International Conference on Business Process Management},
  year = {September 2005}
}

@BOOK{eclipe:spin_book,
  title = {The SPIN Model Checker},
  publisher = {Addison Wesley},
  year = {2003},
  author = {Gerard J. Holzmann}
}

@INPROCEEDINGS{HuS04,
  author = {Zhaoxia Hu and Sol M. Shatz},
  title = {Mapping UML Diagrams to a Petri Net Notation for System Simulation.},
  booktitle = {SEKE},
  year = {2004},
  editor = {Frank Maurer and G{\"u}nther Ruhe},
  pages = {213-219},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {1-891706-14-4}
}

@PHDTHESIS{Huerzeler:04:FSRFCOFATV,
  author = {David Huerzeler},
  title = {Flexible subtyping relations for component-oriented formalisms and
	their verification},
  school = {Ecole Polytechnique F\'ed\'erale de Lausanne},
  year = {2004}
}

@PHDTHESIS{Hulaas97,
  author = {Jarle Hulaas},
  title = {An Incremental Prototyping Methodology for Distributed Systems Based
	on Formal Specifications},
  school = {no 1664, Ecole Polytechnique Federal de Lausanne},
  year = {1997}
}

@PHDTHESIS{Hulaas:97:AIPMDSBFS,
  author = {Jarle Hulaas},
  title = {An Incremental Prototyping Methodology for Distributed Systems Based
	on Formal Specifications},
  school = {Swiss Federal Institute of Technology (EPFL)},
  year = {1997},
  optaddress = {Lausanne, Switzerland},
  optmonth = {may}
}

@PHDTHESIS{Hulaas:97:IPMDSBFS,
  author = {Jarle Hulaas},
  title = {An Incremental Prototyping Methodology for Distributed Systems Based
	on Formal Specifications},
  school = {no 1664, Ecole Polytechnique Federal de Lausanne},
  year = {1997},
  address = {Departement d'Informatique, 1015 Lausanne, Switzerland},
  month = jun,
  abstract = {This thesis presents a new incremental prototyping methodology for
	formally specified distributed systems. The objective of this methodology
	is to fill the gap which currently exists between the phase where
	a specification is simulated, generally using some sequential logical
	inference tool, and the phase where the modeled system has a reliable,
	efficient and maintainable distributed implementation in a main-stream
	object-oriented programming language. This objective is realized
	by application of a methodology we call Mixed Prototyping with Object-Orientation
	(in short, OOMP). This is an extension of an existing approach, namely
	Mixed Prototyping, that we have adapted to the object-oriented paradigm,
	of which we exploit the flexibility and inherent capability of modeling
	abstract entities.\\ The OOMP process proceeds as follows. First,
	the source specifications are automatically translated into a class-based
	object-oriented language, thus providing a portable and high-level
	initial implementation. The generated class hierarchy is designed
	so that the developer may independently derive new sub-classes in
	order to make the prototype more efficient or to add functionalities
	that could not be specified with the given formalism. This prototyping
	process is performed incrementally in order to safely validate the
	modifications against the semantics of the specification. The resulting
	prototype can finally be considered as the end-user implementation
	of the specified software. \\ The originality of our approach is
	that we exploit object-oriented programming techniques in the implementation
	of formal specifications in order to gain flexibility in the development
	process. Simultaneously, the object paradigm gives the means to harness
	this newly acquired freedom by allowing automatic generation of test
	routines which verify the conformance of the hand-written code with
	respect to the specifications. \\ We demonstrate the generality of
	our prototyping scheme by applying it to a distributed collaborative
	diary program within the frame of CO-OPN (Concurrent Object-Oriented
	Petri Nets), a very powerful specification formalism which allows
	expressing concurrent and non-deterministic behaviours, and which
	provides structuring facilities such as modularity, encapsulation
	and genericity. \\ An important effort has also been accomplished
	in the development or adaptation of distributed algorithms for cooperative
	symbolic resolution. These algorithms are used in the run-time support
	of the generated prototypes. },
  keywords = {Conform, OOMethod},
  signature = {lglftp.epfl.ch:pub/Papers/hulaas-thesis.ps.Z}
}

@INPROCEEDINGS{hurzeler:rise:2005,
  author = {David Hurzeler},
  title = {Network Structure and Traffic Modeling and Simulation with CO-OPN},
  booktitle = {Rapid Integration of Software Engineering techniques},
  year = {2006},
  volume = {LNCS 3943},
  publisher = {Springer-Verlag}
}

@MISC{MTF,
  author = {IBM},
  title = {IBM Model Transformation Framework},
  year = {2007},
  note = {\url{http://www.alphaworks.ibm.com/tech/mtf}},
  date-modified = {2008-02-26 00:32:13 +0100}
}

@MISC{mediniQVT_web,
  author = {ikv++ technologies},
  title = {medini QVT},
  note = {\url{http://projects.ikv.de/qvt}},
  date-added = {2008-02-26 00:54:47 +0100},
  date-modified = {2008-02-26 00:56:09 +0100},
  keywords = {Transformation Languages, QVTTools}
}

@MISC{dome,
  author = {Honeywell International Inc.},
  title = {DOmain Modeling Environment},
  note = {\url{http://www.htc.honeywell.com/dome/}}
}

@BOOK{CoFI:2004:CASL-RM,
  title = {\textsc{Casl} Reference Manual},
  publisher = {Springer},
  year = {2004},
  author = {CoFI (The Common Framework Initiative)},
  series = {LNCS 2960 (IFIP Series)}
}

@MISC{gme,
  author = {Institute for Software Integrated Systems, Vanderbilt University},
  title = {The Generic Modeling Environment},
  year = {2007},
  note = {\url{http://www.isis.vanderbilt.edu/projects/gme}},
  date-modified = {2008-02-26 00:33:45 +0100},
  keywords = {DSML, DSMLTools, GME}
}

@BOOK{rup_book,
  title = { The Unified Software Development Process},
  publisher = {Addison Wesley},
  year = {1999},
  author = {Ivar Jacobson and Grady Booch and James Rumbaugh}
}

@ARTICLE{JaJe05,
  author = {Claude Jard and Thierry Jeron},
  title = {TGV: theory, principles and algorithms: A tool for the automatic
	synthesis of conformance test cases for non-deterministic reactive
	systems},
  journal = {Int. J. Softw. Tools Technol. Transf.},
  year = {2005},
  volume = {7},
  pages = {297--315},
  number = {4},
  address = {Berlin, Heidelberg},
  doi = {http://dx.doi.org/10.1007/s10009-004-0153-x},
  issn = {1433-2779},
  publisher = {Springer-Verlag}
}

@MISC{JML,
  author = {JML},
  title = {Java Modeling Language},
  note = {http://www.cs.iastate.edu/~leavens/JML/}
}

@BOOK{vdm_book,
  title = {Systematic software development using VDM},
  publisher = {Prentice Hall International (UK) Ltd.},
  year = {1986},
  author = {C B Jones},
  address = {Hertfordshire, UK, UK},
  isbn = {0-13-880725-6}
}

@ARTICLE{Jones:jucs_11_5:the_atomic_manifesto,
  author = {C. B. Jones and D. Lomet and A. Romanovsky and G. Weikum},
  title = {The Atomic Manifesto},
  journal = {Journal of Universal Computer Science},
  year = {2005},
  volume = {11},
  pages = {636--650},
  number = {5}
}

@BOOK{Jorgensen02,
  title = {Software Testing: A Craftsman's Approach},
  publisher = {CRC Press, Inc.},
  year = {1995},
  author = {Paul C. Jorgensen},
  address = {Boca Raton, FL, USA},
  isbn = {084937345X}
}

@INPROCEEDINGS{ATL:QVT,
  author = {Fr\'{e}d\'{e}ric Jouault and Ivan Kurtev},
  title = {On the architectural alignment of ATL and QVT},
  booktitle = {SAC '06: Proceedings of the 2006 ACM symposium on Applied computing},
  year = {2006},
  pages = {1188--1195},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1141277.1141561},
  isbn = {1-59593-108-2},
  keywords = {ATL, Transformation Languages},
  location = {Dijon, France}
}

@INPROCEEDINGS{MTIP05,
  author = {Fr\'ed\'eric Jouault and Ivan Kurtev},
  title = {Transforming Models with ATL},
  booktitle = {Proceedings of the Model Transformations in Practice Workshop at
	MoDELS 2005},
  year = {2005},
  address = {Montego Bay, Jamaica},
  publisher = { },
  authorurls = {http://www.sciences.univ-nantes.fr/lina/atl/contrib/jouault and http://www.sciences.univ-nantes.fr/lina/atl/contrib/kurtev},
  bdsk-url-1 = {http://sosym.dcs.kcl.ac.uk/events/mtip/submissions/jouault%5C_kurtev%5C_%5C_transforming%5C_models%5C_with%5C_atl.pdf},
  date-modified = {2008-02-26 00:46:18 +0100},
  keywords = {Model Transformation, Transformation Languages, QVT, ATL},
  url = {http://sosym.dcs.kcl.ac.uk/events/mtip/submissions/jouault\_kurtev\_\_transforming\_models\_with\_atl.pdf}
}

@ARTICLE{DBLP:journals/computer/Brooks87,
  author = {Frederick P. Brooks Jr.},
  title = {No Silver Bullet - Essence and Accidents of Software Engineering},
  journal = {IEEE Computer},
  year = {1987},
  volume = {20},
  pages = {10-19},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@BOOK{KaBaPe01,
  title = {Lessons Learned in Software Testing},
  publisher = {John Wiley \& Sons, Inc.},
  year = {2001},
  author = {Cem Kaner and James Bach and Bret Pettichord},
  address = {New York, NY, USA},
  isbn = {0471081124}
}

@ARTICLE{Karsai:jucs_9_11:on_the_use_of,
  author = {Gabor Karsai and Aditya Agrawal and Feng Shi and Jonathan Sprinkle},
  title = {On the Use of Graph Transformation in the Formal Specification of
	Model Interpreters},
  journal = {Journal of Universal Computer Science},
  year = {2003},
  volume = {9},
  pages = {1296--1321},
  number = {11},
  month = {nov},
  abstract = {Model-based development necessitates the transformation of models
	between different stages and tools of the design process. These transformations
	must be precisely, preferably formally, specified, such that end-to-end
	semantic interoperability is maintained. The paper introduces a graph-transformation-based
	technique for specifying these model transformations, gives a formal
	definition for the semantics of the transformation language, describes
	an implementation of the language, and illustrates its use through
	an example.},
  date = {2003-11-28}
}

@ARTICLE{DBLP:journals/dke/Kindler06,
  author = {Ekkart Kindler},
  title = {On the semantics of EPCs: Resolving the vicious circle.},
  journal = {Data Knowl. Eng.},
  year = {2006},
  volume = {56},
  pages = {23-40},
  number = {1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.datak.2005.02.005}
}

@INPROCEEDINGS{DBLP:conf/epk/Kindler03,
  author = {Ekkart Kindler},
  title = {On the semantics of EPCs: A framework for resolving the vicious circle.},
  booktitle = {EPK},
  year = {2003},
  pages = {7-18},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.epk-community.de/epk2003/paper/epk2003-proceedings-K.pdf}
}

@ARTICLE{Kin76,
  author = {James C. King},
  title = {Symbolic Execution and Program Testing},
  journal = {Communications of the ACM},
  year = {1976},
  volume = {19},
  pages = {385-394},
  number = {7},
  month = jul
}

@BOOK{KleppeWarmerBast03,
  title = {{MDA} Explained. The Model Driven Architecture: Practice and Promise},
  publisher = {Addison-Wesley},
  year = {2003},
  author = {Anneke Kleppe and Jos Warmer and Wim Bast}
}

@INPROCEEDINGS{eugenia,
  author = {Kolovos, Dimitrios S. and Rose, Louis M. and Paige, Richard F. and
	Polack, Fiona A. C.},
  title = {Raising the level of abstraction in the development of GMF-based
	graphical model editors},
  booktitle = {MISE '09: Proceedings of the 2009 ICSE Workshop on Modeling in Software
	Engineering},
  year = {2009},
  pages = {13--19},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  doi = {http://dx.doi.org/10.1109/MISE.2009.5069891},
  isbn = {978-1-4244-3722-1}
}

@INPROCEEDINGS{dsl:dom,
  author = {Bassem Kosayba and Rapha\`el Marvie and Jean-Marc Geib},
  title = {Model Driven Production of Domain-Specific Modeling Tools},
  booktitle = {Proceedings of the 4th OOPSLA Workshop on Domain-Specific Modeling},
  year = {2004}
}

@TECHREPORT{Koshkina03:bpel,
  author = {M. Koshkina and F. van Breugel},
  title = {Verification of business processes for Web services},
  institution = {Technical Report CS-2003-11, York University},
  year = {October 2003}
}

@ARTICLE{50759,
  author = {Glenn E. Krasner and Stephen T. Pope},
  title = {A cookbook for using the model-view controller user interface paradigm
	in Smalltalk-80},
  journal = {J. Object Oriented Program.},
  year = {1988},
  volume = {1},
  pages = {26--49},
  number = {3},
  address = {Denville, NJ, USA},
  issn = {0896-8438},
  publisher = {SIGS Publications}
}

@INPROCEEDINGS{ATL:Rule-Bases,
  author = {Ivan Kurtev and Klaas van den Berg and Fr\'{e}d\'{e}ric Jouault},
  title = {Evaluation of rule-based modularization in model transformation languages
	illustrated with ATL},
  booktitle = {SAC '06: Proceedings of the 2006 ACM symposium on Applied computing},
  year = {2006},
  pages = {1202--1209},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1141277.1141563},
  isbn = {1-59593-108-2},
  keywords = {ATL, Transformation Languages},
  location = {Dijon, France}
}

@INPROCEEDINGS{Kuster,
  author = {Jochen M. Kuster},
  title = {Systematic Validation of Model Transformations},
  booktitle = {Essentials of the 3rd UML Workshop in Software Model Engineering
	(WiSME�2004)},
  year = {2004},
  isbn = {978-3-540-25081-4}
}

@MISC{kgbweb,
  author = {{{K}{G}{B} team, Jozef Stefan Institute, Ljubljana}},
  title = {{Team bibliography}},
  note = {\url{http://kgb.ijs.si/KGB/accomplishments.php}}
}

@TECHREPORT{valid:06,
  author = {Laboratoire d'Informatique de L'Universit\'e de Franche-Compt\'e
	and University of Geneva and LEIRIOS Technologies and CTI (Geneva)},
  title = {Projet VALID: Rapport final de projet},
  institution = {Projet INTERREG III France-Suisse},
  year = {2006}
}

@TECHREPORT{lucio:10,
  author = {Levi L\'ucio},
  title = {Technical details for the paper: Assisted Model Evolution �- A Preliminary
	Study},
  institution = {Laboratory for Advanced Software Systems, University of Luxembourg},
  year = {2011},
  number = {number to be defined},
  note = {\url{http://hera.uni.lu/~levi.lucio/assisted_model_evolution/assisted_evolution_technical.pdf}}
}

@MISC{model_evolving_filesystem:11,
  author = {Levi L\'ucio},
  title = {Model of an evolving confidential filesystem},
  year = {2011},
  note = {\url{http://hera.uni.lu/~levi.lucio/operational_resilience/evolving_filesystem.zip}}
}

@TECHREPORT{luc06,
  author = {Levi L\'ucio},
  title = {Syntax and Semantics of SATEL (Semi Automatic Testing Language)},
  institution = {Software Modeling and Verification Group, University of Geneva},
  year = {2006},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=temporaryTechReports}}
}

@INPROCEEDINGS{Ladd:94,
  author = {D. A. Ladd and J. C. Ramming},
  title = {Two Application Languages in Software Production},
  booktitle = {Proc.\ of the 19994 USENIX Symposium on Very High Level Languages(VHLL)},
  year = {1994},
  pages = {169-177},
  address = {Santa Fe, NM}
}

@INPROCEEDINGS{MaherLamari:2006,
  author = {Maher Lamari},
  title = {Towards an automated test generation for the verification of model
	transformations},
  booktitle = {Proceedings of the 2007 ACM symposium on Applied computing},
  year = {2007},
  pages = {998-1005},
  address = {Seoul, Korea},
  isbn = {1-59593-480-4}
}

@INPROCEEDINGS{651300,
  author = {Juan de Lara and Hans Vangheluwe},
  title = {AToM3: A Tool for Multi-formalism and Meta-modelling},
  booktitle = {FASE '02: Proceedings of the 5th International Conference on Fundamental
	Approaches to Software Engineering},
  year = {2002},
  pages = {174--188},
  address = {London, UK},
  publisher = {Springer-Verlag},
  date-added = {2008-02-25 12:58:50 +0100},
  date-modified = {2008-02-25 12:58:58 +0100},
  isbn = {3-540-43353-8},
  keywords = {DSML DSMLTools AToM3}
}

@INPROCEEDINGS{740343,
  author = {Juan de Lara and Hans Vangheluwe},
  title = {Using Meta-Modelling and Graph Grammars to Process GPSS Models},
  booktitle = {Proceedings of the 16th European Simulation Multiconference on Modelling
	and Simulation 2002},
  year = {2002},
  pages = {100--107},
  publisher = {SCS Europe},
  date-added = {2008-02-25 12:59:53 +0100},
  date-modified = {2008-02-25 13:00:00 +0100},
  isbn = {90-77039-07-4},
  keywords = {DSML DSMLTools AToM3}
}

@INPROCEEDINGS{Tefkat,
  author = {Lawley, M.J and Steel, J.},
  title = {Practical Declarative Model Transformation With Tefkat},
  booktitle = {Satellite Events at the MoDELS 2005 Conference LNCS Vol. 3844},
  year = {2005}
}

@TECHREPORT{Leavens00:jml,
  author = {Gary T. Leavens and K. Rustan M. Leino and Erik Poll and Clyde Ruby
	and Bart Jacobs},
  title = {JML: notations and tools supporting detailed design in Java},
  institution = {In OOPSLA '00 Companion, Minneapolis, Minnesota, pp. 105-106. Copyright
	ACM, 2000. Also Department of Computer Science, Iowa State University,
	TR \#00-15},
  year = {August 2000}
}

@INPROCEEDINGS{ledeczi:01,
  author = {Ledeczi, A. and Nordstrom, G. and Karsai, G. and Volgyesi, P. and
	Maroti, M. },
  title = {On metamodel composition},
  booktitle = {Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE
	International Conference on},
  year = {2001},
  pages = {756--760},
  abstract = {Computer-based systems (CBS) development integrates various disciplines,
	such as hardware design, software engineering, and performance modeling,
	as well as the "base" engineering discipline in which the CBS will
	operate. As such, use of a "non-native" modeling language is not
	acceptable when performing CBS design, and rapid specification and
	development of domain-specific modeling languages (DSMLs) is necessary.
	We advocate a UML-based metamodeling technique to DSML specification
	and generation. A key feature of our approach is the composition
	of new metamodels from existing metamodels through the use of three
	newly defined UML operators-equivalence, implementation inheritance,
	and interface inheritance. The paper describes the development of
	these new operators, details how they are used in metamodel composition,
	and presents examples of metamodel composition},
  citeulike-article-id = {2157206},
  date-added = {2008-03-12 15:48:09 +0100},
  date-modified = {2008-03-12 15:50:10 +0100},
  doi = {10.1109/CCA.2001.973959},
  journal = {Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE
	International Conference on},
  keywords = {Metamodel Composition},
  url = {http://dx.doi.org/10.1109\%2FCCA.2001.973959}
}

@INPROCEEDINGS{DBLP:conf/kbse/LedruBBMOP01,
  author = {Yves Ledru and Lydie du Bousquet and Pierre Bontron and Olivier Maury
	and Catherine Oriat and Marie-Laure Potet},
  title = {Test Purposes: Adapting the Notion of Specification to Testing.},
  booktitle = {ASE},
  year = {2001},
  pages = {127-134},
  ee = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260127abs.htm}
}

@ARTICLE{LeBoBoMarPo01,
  author = {Y. Ledru and L. du Bousquet and P. Bontron and O. Maury and C. Oriat
	and M.-L. Potet},
  title = {Test Purposes: Adapting the Notion of Specification to Testing},
  journal = {ase},
  year = {2001},
  volume = {00},
  pages = {127},
  address = {Los Alamitos, CA, USA},
  doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989798},
  isbn = {0-7695-1426-X},
  publisher = {IEEE Computer Society}
}

@INPROCEEDINGS{DBLP:conf/fase/LedruBMB04,
  author = {Yves Ledru and Lydie du Bousquet and Olivier Maury and Pierre Bontron},
  title = {Filtering TOBIAS Combinatorial Test Suites.},
  booktitle = {FASE},
  year = {2004},
  pages = {281-294},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2984{\&}spage=281}
}

@INPROCEEDINGS{DBLP:conf/kbse/LegeardP01,
  author = {Bruno Legeard and Fabien Peureux},
  title = {Generation of Functional Test Sequences from B Formal Specifications-Presentation
	and Industrial Case Study.},
  booktitle = {ASE},
  year = {2001},
  pages = {377-381},
  ee = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260377abs.htm}
}

@INPROCEEDINGS{lege:peur,
  author = {Bruno Legeard and Fabien Peureux},
  title = {Generation of Functional Test Sequences from B Formal Specifications-Presentation
	and Industrial Case Study.},
  booktitle = {ASE},
  year = {2001},
  pages = {377-381}
}

@ARTICLE{DBLP:journals/stvr/LegeardPU04,
  author = {Bruno Legeard and Fabien Peureux and Mark Utting},
  title = {Controlling test case explosion in test generation from B formal
	models},
  journal = {Softw. Test., Verif. Reliab.},
  year = {2004},
  volume = {14},
  pages = {81-103},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1002/stvr.287}
}

@ARTICLE{1165102,
  author = {D. Leroux and M. Nally and K. Hussey},
  title = {Rational software architect: a tool for domain-specific modeling},
  journal = {IBM Syst. J.},
  year = {2006},
  volume = {45},
  pages = {555--568},
  number = {3},
  address = {Riverton, NJ, USA},
  date-added = {2008-02-25 13:40:49 +0100},
  date-modified = {2008-02-25 13:41:13 +0100},
  issn = {0018-8670},
  keywords = {DSML, DSMLTools, RetionalArchitect},
  publisher = {IBM Corp.}
}

@INPROCEEDINGS{DBLP:conf/issre/LestiennesG02,
  author = {Gr{\'e}gory Lestiennes and Marie-Claude Gaudel},
  title = {Testing Processes from Formal Specifications with Inputs, Outputs
	and Data Types},
  booktitle = {ISSRE},
  year = {2002},
  pages = {3-14}
}

@TECHREPORT{MDAWorkshop,
  author = {Grace A. Lewis and B. Craig Meyers and Kurt Wallnau},
  title = {Workshop on Model-Driven Architecture and Program Generation},
  institution = {Carnegie Mellon University},
  year = {2006},
  number = {CMU/SEI-2006-TN-031},
  optwebsite = {http://www.sei.cmu.edu/publications/documents/06.reports/06tn031.html}
}

@MISC{CPN-AMI,
  author = {LIP6},
  title = {CPN-AMI},
  note = {http://move.lip6.fr/software/CPNAMI/index.html}
}

@UNPUBLISHED{ll:bb:va:10,
  author = {Levi Lucio and Bruno Barroca and Vasco Amaral},
  title = {{A transformation model checker (submitted to ICMT 2010)}},
  note = {\url{http://solar.di.fct.unl.pt/twiki/pub/BATICCCS/ReleaseFiles/transmc.pdf}},
  url = {http://solar.di.fct.unl.pt/twiki/pub/BATICCCS/ReleaseFiles/transmc.pdf}
}

@UNPUBLISHED{ll:ng:10,
  author = {Levi Lucio and Nicolas Guelfi},
  title = {Operational Resilience -- A Modelling Approach},
  note = {Technical Report TR-LASSY-11-02},
  year = {2011}
}

@INPROCEEDINGS{lucio:rise:2004,
  author = {Levi Lucio and Luis Pedro and Didier Buchs},
  title = {A {M}ethodology and a {F}ramework for {M}odel-{B}ased {T}esting},
  booktitle = {Rapid Integration of Software Engineering techniques},
  year = {2005},
  editor = {N. Guelfi},
  volume = {LNCS 3475},
  pages = {57-70},
  publisher = {LNCS}
}

@INPROCEEDINGS{mtoos:luc:ped:buc:06,
  author = {Levi Lucio and Luis Pedro and Didier Buchs},
  title = {Semi-Automatic Test Case Generation from CO-OPN Specifications},
  booktitle = {Proceedings of the Workshop on Model-Based Testing and Object-Oriented
	Systems},
  year = {2006},
  pages = {19-26},
  publisher = {Microsoft Research}
}

@INPROCEEDINGS{rsp:luc:ped:buc:05,
  author = { Levi Lucio and Luis Pedro and Didier Buchs},
  title = {A Test Selection Language for CO-OPN Specifications},
  booktitle = {IEEE International Workshop on Rapid System Prototyping},
  year = {2005},
  pages = {195-201}
}

@INPROCEEDINGS{DBLP:conf/dagstuhl/LucioS04,
  author = {Levi Lucio and Marko Samer},
  title = {Technology of Test-Case Generation.},
  booktitle = {Model-Based Testing of Reactive Systems},
  year = {2004},
  pages = {323-354}
}

@INPROCEEDINGS{dsl:LKT04,
  author = {Janne Luoma and Steven Kelly and Juha-Pekka Tolvanen},
  title = {Defining Domain-Specific Languages: Collected Experiences.},
  booktitle = {Proceedings of the 4th OOPSLA Workshop on Domain-Specific Modeling},
  year = {2004}
}

@INPROCEEDINGS{Lucio2011,
  author = {L{\'u}cio, Levi and Zhang, Qin and Sousa, Vasco and Mouelhi, Tejeddine},
  title = {Verifying Access Control in Statecharts},
  booktitle = {Journal of ECASST, MPM'11 workshop},
  year = {2011},
  address = {Wellington},
  month = {October}
}

@INPROCEEDINGS{Jansen05:cpn,
  author = {M.H.Jansen-Vullers and H.A. Reijers},
  title = {Business Process Redesign at a Mental Healthcare Institute: A Coloured
	Petri Net Approach},
  booktitle = {Proceedings of the Sixth Workshop and Tutorial on Practical Use of
	Coloured Petri Nets and the CPN Tools, Department of Computer Science,
	University of Aarhus, PB-576, 21-38},
  year = {October 2005}
}

@TECHREPORT{Malandain:06:baticscollchap6,
  author = {St\'ephane Malandain and Pierrick Zoss},
  title = {BATIC$^3$S Visual Model},
  institution = {Ecole d'Ingenieurs de Gen\`eve},
  year = {2006},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=BATICSBiblio}},
  pages = {127-139}
}

@MISC{Maria,
  author = {Maria},
  title = {The Modular Reachability Analyzer},
  note = {\url{http://www.tcs.hut.fi/Software/maria/}},
  date-modified = {2008-02-27 17:26:06 +0100},
  keywords = {Maria, Model Checking}
}

@PHDTHESIS{marre91,
  author = {Bruno Marre},
  title = {Une m\'etode et un outil d'assistance \`a la s\'election de jeux
	de tests \`a partir de sp\'ecifications alg\'ebriques},
  school = {Universite de Paris-Sud -- Centre D'Orsay},
  year = {1991}
}

@INPROCEEDINGS{DBLP:conf/jfplc/Marre89,
  author = {Bruno Marre},
  title = {G{\'e}n{\'e}ration automatique de jeux de tests, une solution: Sp{\'e}cifications
	Alg{\'e}briques et Programmation Logique},
  booktitle = {SPLT},
  year = {1989},
  pages = {213-}
}

@TECHREPORT{marvie:tr10:04,
  author = {Raphael Marvie},
  title = {A Transformation Composition Framework for Model Driven Engineering},
  institution = {Laboratoire d\'Informatique Fondamentale de Lille},
  year = {2004},
  number = {2004-10},
  optwebsite = {http://www.lifl.fr/jacquard/En/Pub2004?action=bibentry&bibfile=jacquard&bibref=marvie-tr10-04}
}

@INPROCEEDINGS{Medeiros05:cpn,
  author = {A.K. Alves de Medeiros and C.W. Gunther},
  title = {Process Mining: Using CPN Tools to Create Test Logs for Mining Algorithms},
  booktitle = {Proceedings of the Sixth Workshop and Tutorial on Practical Use of
	Coloured Petri Nets and the CPN Tools, Department of Computer Science,
	University of Aarhus, PB-576, 177-190.},
  year = {October 2005}
}

@INPROCEEDINGS{mendling05:yaepc,
  author = {J. Mendling and G. Neumann and M. Nuttgens},
  title = {Yet Another Event-Driven Process Chain},
  booktitle = {In: W.M.P. van der Aalst et al.: Proceedings of the 3rd International
	Conference on Business Process Management (BPM 2005), pages 428-433,
	LNCS 3649, Springer-Verlag, Nancy, France,},
  year = {September 2005}
}

@INPROCEEDINGS{Mendling05:epc,
  author = {J. Mendling and G. Neumann and M. Nuttgens},
  title = {Towards Workflow Pattern Support of Event-Driven Process Chains (EPC)},
  booktitle = {M. Nuttgens, J. Mendling, eds.: Proc. of the 2nd GI Workshop XML4BPM
	- XML for Business Process Management at BTW 2005, Karlsruhe, Germany,
	CEUR Workshop Proceedings Volume 145, ISSN-1613-0073, pages 23-38},
  year = {March 2005}
}

@ARTICLE{Mendling:EPML,
  author = {J. Mendling and M. Nuttgens},
  title = {EPC Markup Language (EPML) - An XML-Based Interchange Format for
	Event-Driven Process Chains (EPC)},
  journal = {International Journal Information Systems and e-Business Management
	(ISeB). Springer-Verlag, no. 10257},
  year = {2006}
}

@BOOK{Meyer:97,
  title = {Object-Oriented Software Construction},
  publisher = {Prentice Hall},
  year = {1997},
  author = {Bertrand Meyer},
  edition = {2$^{nd}$}
}

@ARTICLE{DBLP:journals/jss/Meyer88,
  author = {Bertrand Meyer},
  title = {Eiffel: A language and environment for software engineering},
  journal = {Journal of Systems and Software},
  year = {1988},
  volume = {8},
  pages = {199-246},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/0164-1212(88)90022-2}
}

@MISC{dotnet_web,
  author = {Microsoft},
  title = {Microsoft .Net},
  note = {\url{http://www.microsoft.com/net/}},
  date-added = {2008-02-28 13:16:21 +0100},
  date-modified = {2008-02-28 13:17:06 +0100},
  keywords = {.NET, Microsoft}
}

@MISC{microsoftdsltools_web,
  author = {Microsoft},
  title = {Domain-Specific Language Tools},
  note = {\url{http://msdn2.microsoft.com/en-us/vs2005/aa718368.aspx}},
  date-added = {2008-02-25 13:46:01 +0100},
  date-modified = {2008-02-26 00:37:04 +0100},
  keywords = {MicrosoftDSLTools, DSML, DSMLTools},
  url = {http://msdn2.microsoft.com/en-us/vs2005/aa718368.aspx}
}

@TECHREPORT{gme-techreport,
  author = {\'Akos Lédecz iand Mikl\'os Mar\'oti and P\'eter Volgyesi },
  title = {The Generic Modeling Environment},
  institution = {Institute for Software Integrated Systems, Vanderbilt University},
  year = {2001}
}

@BOOK{Milner89,
  title = {Communication and Concurrency},
  publisher = {Prentice-Hall, Inc.},
  year = {1989},
  author = {R. Milner},
  address = {Upper Saddle River, NJ, USA},
  isbn = {0131149849}
}

@MISC{Gmorph,
  author = {Software Modeling and Verification Lab},
  title = {Genermorphous},
  note = {\url {http://cui.unige.ch/smv/gmorph/}}
}

@CONFERENCE{mohan94:atmtutorial,
  author = {C. Mohan},
  title = {Tutorial: Advanced Transaction Models - Survey and Critique},
  booktitle = {Presented at ACM SIGMOD International Conference on Management of
	Data, Minneapolis},
  year = {May 1994},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{DBLP:conf/bpm/MoldtR03,
  author = {Daniel Moldt and Heiko R{\"o}lke},
  title = {Pattern Based Workflow Design Using Reference Nets.},
  booktitle = {Business Process Management},
  year = {2003},
  pages = {246-260},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://link.springer.de/link/service/series/0558/bibs/2678/26780246.htm}
}

@ARTICLE{moore_00,
  author = {Gordon E. Moore},
  title = {Cramming more components onto integrated circuits},
  journal = {Readings in computer architecture},
  year = {2000},
  pages = {56--59},
  address = {San Francisco, CA, USA},
  isbn = {1-55860-539-8},
  publisher = {Morgan Kaufmann Publishers Inc.}
}

@BOOK{ibm:emf_gmf_redbook,
  title = {Eclipse Development using the Graphical Editing Framework and the
	Eclipse Modeling Framework},
  publisher = {IBM RedBooks},
  year = {2004},
  author = {William Moore and David Dean and Anna Gerber and Gunnar Wagenknecht
	and Philippe Vanderheyden},
  month = {February},
  abstract = {Eclipse Development using the Graphical Editing Framework and the
	Eclipse Modelling Framework is written for developers who use the
	Eclipse SDK to develop plug-in code. This IBM Redbook is intended
	for a technical readership and for developers who already have good
	knowledge and experience in Eclipse plug-in development. 
	
	In this book, we examine two frameworks that are developed by the
	Eclipse Tools Project for use with the Eclipse Platform: the Graphical
	Editing Framework (GEF), and the Eclipse Modeling Framework (EMF).
	We cover both the Graphical Editing Framework and the Eclipse Modeling
	Framework, but these frameworks can be used separately, and there
	is no dependency between them. 
	
	This book provides a high level introduction to these frameworks so
	that Eclipse plug-in developers can consider whether the frameworks
	will be useful for the requirements of their particular development
	environment. Next, tips and techniques are provided for writing code
	that uses GEF and EMF. Also, a detailed example is developed to illustrate
	a GEF editor that uses an EMF model.},
  date-added = {2008-02-25 13:02:28 +0100},
  date-modified = {2008-02-25 13:15:38 +0100},
  keywords = {DSML, DSMLTools, EMF, GMF}
}

@INPROCEEDINGS{gp:moss05,
  author = {Andrew Moss and Henk Muller},
  title = {Efficient Code Generation for a Domain Specific Language},
  booktitle = {Generative Programming and Component Engineering},
  year = {2005},
  pages = {47--62},
  month = {September},
  publisher = {Springer Verlag},
  isbn = {3-540-29138-5},
  pubtype = {102},
  url = {http://www.cs.bris.ac.uk/Publications/Papers/2000404.pdf}
}

@ARTICLE{DBLP:journals/entcs/Mosses06,
  author = {Peter D. Mosses},
  title = {Formal Semantics of Programming Languages: - An Overview - .},
  journal = {Electr. Notes Theor. Comput. Sci.},
  year = {2006},
  volume = {148},
  pages = {41-73},
  number = {1}
}

@ARTICLE{Moussa2000,
  author = {F. Moussa and C. Kolski and M. Riahi},
  title = {A model based approach to semi-automated user interface generation
	for process control interactive applications},
  journal = {Interacting with Computers},
  year = {2000},
  volume = {12},
  pages = {245-279},
  number = {3},
  month = {January}
}

@BOOK{Meyers79,
  title = {The Art of Software Testing},
  publisher = {John Wiley \& Sons, Inc.},
  year = {1979},
  author = {Glenford J. Myers},
  address = {New York, NY, USA},
  isbn = {0471043281}
}

@MISC{mdr_web,
  author = {netBeans},
  title = {{M}etadata {R}epository},
  note = {\url{http://mdr.netbeans.org/}}
}

@INPROCEEDINGS{Netjes05:cpn,
  author = {Mariska Netjes and Wil M.P. van der Aalst and Hajo Reijers},
  title = {Analysis of Resource-Constrained Processes with Colored Petri Nets},
  booktitle = {Proceedings of the Sixth Workshop and Tutorial on Practical Use of
	Coloured Petri Nets and the CPN Tools, Department of Computer Science,
	University of Aarhus, PB-576, 251-265},
  year = {October 2005}
}

@INPROCEEDINGS{nielsen,
  author = {Nielsen, Jakob and Landauer, Thomas K.},
  title = {A mathematical model of the finding of usability problems},
  booktitle = {CHI '93: Proceedings of the INTERACT '93 and CHI '93 conference on
	Human factors in computing systems},
  year = {1993},
  pages = {206--213},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/169059.169166},
  isbn = {0-89791-575-5},
  location = {Amsterdam, The Netherlands}
}

@MISC{magicdraw_web,
  author = {No {M}agic, {I}nc},
  title = {Magic{D}raw {UML}},
  note = {\url{http://www.magicdraw.com}}
}

@INPROCEEDINGS{DBLP:conf/ecbs/NordstromSKL99,
  author = {Greg Nordstrom and Janos Sztipanovits and Gabor Karsai and {\'A}kos
	L{\'e}deczi},
  title = {Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling
	Environments.},
  booktitle = {ECBS},
  year = {1999},
  pages = {68-74}
}

@MISC{omg_web,
  author = {OMG},
  title = {{O}bject {Management} {G}roup},
  note = {\url{http://mdr.omg.org/}}
}

@TECHREPORT{ouyang05:bpel,
  author = {C. Ouyang and W.M.P. van der Aalst and S. Breutel and M. Dumas and
	A.H.M. ter Hofstede and H.M.W. Verbeek},
  title = {Formal Semantics and Analysis of Control Flow in WS-BPEL},
  institution = {BPM Center Report BPM-05-15, BPMcenter.org},
  year = {2005}
}

@BOOK{Mosterman2004,
  title = {Computer Automated Multi-Paradigm Modeling: An Introduction. Simulation:
	Transactions of the Society for Modeling and Simulation International},
  year = {2004},
  author = {P. J. Mosterman, H. Vangheluwe},
  pages = {433-450},
  topics = {Grand Challenges for Modeling and Simulation}
}

@PHDTHESIS{Peraire98,
  author = {Cecile P\'eraire},
  title = {Formal testing of object-oriented software: from the method to the
	tool},
  school = {EPFL - Switzerland},
  year = {1998}
}

@INPROCEEDINGS{PBB98,
  author = {C\'ecile P\'eraire and St\'ephane Barbey and Didier Buchs},
  title = {Test selection for object-oriented software based on formal specifications},
  booktitle = {PROCOMET '98: Proceedings of the IFIP TC2/WG2.2,2.3 International
	Conference on Programming Concepts and Methods},
  year = {1998},
  pages = {385--403},
  address = {London, UK, UK},
  publisher = {Chapman \& Hall, Ltd.},
  isbn = {0-412-83760-9}
}

@INPROCEEDINGS{pe:ba:bu:98,
  author = {C\'ecile P\'eraire and St\'ephane Barbey and Didier Buchs},
  title = {Test selection for object-oriented software based on formal specifications},
  booktitle = {PROCOMET '98: Proceedings of the IFIP TC2/WG2.2,2.3 International
	Conference on Programming Concepts and Methods},
  year = {1998},
  pages = {385--403},
  address = {London, UK, UK},
  publisher = {Chapman \& Hall, Ltd.},
  isbn = {0-412-83760-9}
}

@INPROCEEDINGS{Padberg98rule-basedrefinement,
  author = {J. Padberg and M. Gajewsky and C. Ermel},
  title = {Rule-Based Refinement of High-Level Nets Preserving Safety Properties},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {1998},
  pages = {221--238},
  publisher = {Springer Verlag}
}

@TECHREPORT{Padberg97refinementversus,
  author = {J. Padberg and M. Gajewsky and C. Ermel},
  title = {Refinement versus Verification: Compatibility of Net Invariants and
	Stepwise Development of High-Level Petri Nets},
  institution = {Technische Universitat Berlin},
  year = {1997}
}

@ARTICLE{Par81,
  author = {David Park},
  title = {Concurrency and automata on infinite sequences},
  journal = {Lecture Notes in Computer Science},
  year = {1981},
  volume = {104},
  pages = {167--183},
  doi = {http://doi.acm.org/10.1145/2455.2460},
  publisher = {Springer-Verlag}
}

@CONFERENCE{yatl-1829,
  author = {Octavian Patrascoiu},
  title = {{YATL}:{Y}et {A}nother {T}ransformation {L}anguage},
  booktitle = {Proceedings of the 1st European MDA Workshop, MDA-IA},
  year = {2004},
  pages = {83-90},
  month = {January},
  organization = {University of Twente, the Nederlands},
  keywords = {UML MDA model transformation},
  publication_type = {conference},
  submission_id = {8657_1079954108},
  url = {http://www.cs.kent.ac.uk/pubs/2004/1829}
}

@TECHREPORT{pedro:metamodelcomposition,
  author = {Luis Pedro},
  title = {{M}etamodel {C}omposition: a {S}tate of the {A}rt and {S}emantic
	{M}apping},
  institution = {University of Geneva},
  year = {2007},
  month = {March},
  optnote = {\url{http://smv.unige.ch/tiki-download\_file.php?fileId=683}}
}

@TECHREPORT{pedro:uml2coopn,
  author = {Luis Pedro},
  title = {{UML2} to {CO-OPN} transformation State Machines and Class Diagrams
	transformation},
  institution = {University of Geneva},
  year = {2006},
  month = {September},
  note = {\url{http://smv.unige.ch/tiki-download\_file.php?fileId=683}}
}

@INPROCEEDINGS{pedro:rise2007,
  author = {Luis Pedro and Didier Buchs and Levi Lucio},
  title = {Model and Metamodel Semantics Enrichment Using Transformations and
	Domain Composition},
  booktitle = {RISE 2007},
  year = {2007},
  editor = {Nicolas Guelfi},
  date-added = {2008-02-27 00:01:27 +0100},
  date-modified = {2008-02-27 00:02:30 +0100},
  keywords = {Metamodel Composition, SMV, pedro}
}

@UNPUBLISHED{Pedro:05:MTTCGF,
  author = {Luis Pedro and Levi L\'ucio and Didier Buchs},
  title = {Model Transformation for a Test Case Generation Framework},
  note = {Submitted to the MoDELS 2005 conference},
  year = {2005}
}

@ARTICLE{pedro:dist_systems_online,
  author = {Luis Pedro and Levi Lucio and Didier Buchs},
  title = {System Prototype and Verification Using Metamodel-Based Transformations},
  journal = {IEEE Distributed Systems Online},
  year = {2007},
  volume = {8},
  number = {4},
  date-added = {2008-02-26 23:49:44 +0100},
  date-modified = {2008-02-26 23:52:13 +0100},
  keywords = {Model Transformation, SMV, pedro}
}

@INPROCEEDINGS{pedro:rise:2005,
  author = {Luis Pedro and Levi Lucio and Didier Buchs},
  title = {{P}rototyping {D}omain {S}pecific {L}anguages With {COOPN}},
  booktitle = {Rapid Integration of Software Engineering techniques},
  year = {2006},
  volume = {LNCS 3943},
  publisher = {Springer-Verlag}
}

@ARTICLE{pret,
  author = {Jan Philipps and Alexander Pretschner and Oscar Slotosch and Ernst
	Aiglstorfer and Stefan Kriebel and Kai Scholl},
  title = {Model-Based Test Case Generation for Smart Cards.},
  journal = {Electr. Notes Theor. Comput. Sci.},
  year = {2003},
  volume = {80}
}

@TECHREPORT{plotkin81structural,
  author = {G. D. Plotkin},
  title = {{A Structural Approach to Operational Semantics}},
  institution = {University of Aarhus},
  year = {1981},
  number = {DAIMI FN-19}
}

@MISC{Presburgerwikipedia,
  author = {M. Presburger},
  title = {Wikipedia: http://en.wikipedia.org/wiki/Presburger arithmetic}
}

@INPROCEEDINGS{pres29,
  author = {Presburger, M. },
  title = {Ueber die Vollstaendigkeit eines gewissen Systems der Arithmetik
	ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.},
  booktitle = {In Comptes Rendus du I congrs de Mathmaticiens des Pays Slaves},
  year = {1929},
  pages = {92-101},
  adress = { Warsaw, Poland}
}

@ARTICLE{DBLP:journals/sttt/PretschnerSAK04,
  author = {Alexander Pretschner and Oscar Slotosch and Ernst Aiglstorfer and
	Stefan Kriebel},
  title = {Model-based testing for real},
  journal = {STTT},
  year = {2004},
  volume = {5},
  pages = {140-157},
  number = {2-3},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.springerlink.com/index/10.1007/s10009-003-0128-3}
}

@TECHREPORT{jmi_spec,
  author = {Java Community Process},
  title = {Java {M}etadata {I}nterface({J}{M}{I}) {S}pecification },
  institution = {Sun},
  year = {2002},
  month = {June}
}

@MISC{gmf_web,
  author = {Eclipse Project},
  title = {Eclipse Graphical Modeling Framework},
  date-added = {2008-02-25 13:09:00 +0100},
  date-modified = {2008-02-25 13:13:41 +0100},
  keywords = {GMF},
  url = {http://www.eclipse.org/modeling/gmf/}
}

@MISC{AtlantEcoreZoo,
  author = {Eclipse Project},
  title = {The AtlantEcore zoo},
  year = {2007},
  note = {\url{http://www.eclipse.org/gmt/am3/zoos/atlantEcoreZoo/}},
  date-added = {2008-02-26 22:56:55 +0100},
  date-modified = {2008-02-26 22:59:06 +0100},
  keywords = {Metamodeling}
}

@ARTICLE{proth98,
  author = {Jean-Marie Proth and Xiaolan Xie},
  title = {Petri Nets: a Tool for Design and Management of Manufacturing Systems},
  journal = {Quality and Reliability Engineering International},
  year = {1998},
  volume = {13},
  pages = {114-114},
  number = {2},
  month = dec
}

@INPROCEEDINGS{puerta99towards,
  author = {Angel R. Puerta and Jacob Eisenstein},
  title = {Towards a General Computational Framework for Model-Based Interface
	Development Systems},
  booktitle = {Intelligent User Interfaces},
  year = {1999},
  pages = {171-178},
  url = {citeseer.ist.psu.edu/puerta99towards.html}
}

@INPROCEEDINGS{Puhlmann05:bpm,
  author = {Frank Puhlmann and Mathias Weske},
  title = {Using the Pi-Calculus for Formalizing Workflow Patterns},
  booktitle = {Proceedings of 3rd International Conference on Business Process Management},
  year = {September 2005}
}

@INPROCEEDINGS{Queille:Sifakis:1982,
  author = {Queille, Jean-Pierre and Sifakis, Joseph},
  title = {Specification and verification of concurrent systems in CESAR},
  booktitle = {Proceedings of the 5th Colloquium on International Symposium on Programming},
  year = {1982},
  pages = {337--351},
  address = {London, UK},
  publisher = {Springer-Verlag},
  acmid = {721668},
  isbn = {3-540-11494-7},
  numpages = {15},
  url = {http://portal.acm.org/citation.cfm?id=647325.721668}
}

@ARTICLE{Racloz:95:ATSCPN,
  author = {Pascal Racloz},
  title = {A temporal specification checker for Petri nets},
  journal = {IEEE International Conference on Systems, Man and Cybernetics},
  year = {1995},
  pages = {3475--3480},
  note = {Vancouver-Canada},
  abstract = {Not Available},
  signature = {lglftp.epfl.ch:pub/Papers/racloz-smc.ps}
}

@ARTICLE{Racloz:95:TSCPN,
  author = {Pascal Racloz},
  title = {A temporal specification checker for Petri nets},
  journal = {IEEE International Conference on Systems, Man and Cybernetics},
  year = {1995},
  pages = {3475--3480},
  note = {Vancouver-Canada},
  abstract = {Not Available},
  url = {lglftp.epfl.ch:pub/Papers/racloz-smc.ps}
}

@PHDTHESIS{Racloz:94:SPTPVK,
  author = {Pascal Racloz},
  title = {Symbolic proof of temporal properties for various kinds of Petri
	nets},
  school = {University of Geneva},
  year = {1994}
}

@PHDTHESIS{Racloz:94:SPTPVKPN,
  author = {Pascal Racloz},
  title = {Symbolic proof of temporal properties for various kinds of Petri
	nets},
  school = {University of Geneva},
  year = {1994},
  month = apr,
  source = {author}
}

@INPROCEEDINGS{Racloz:93:SPCTLFPN,
  author = {Pascal Racloz and Didier Buchs},
  title = {Symbolic Proof of {CTL} Formulae over {P}etri Nets},
  booktitle = {8th Internationnal Symposium on Computer and Information Sciences},
  year = {1993},
  editor = {G. Levent and O. Raif and G. Erol},
  pages = {189--196},
  month = nov,
  organization = {Istambul, Turkey},
  source = {authors}
}

@TECHREPORT{rekow:2007,
  author = {Astrid Rakow},
  title = {Slicing petri nets},
  institution = {University of Oldenburg, Germany},
  year = {2007},
  url = {parsys.informatik.unioldenburg.de/pub/index.html#SlPN tr.pdf}
}

@MISC{RationalRose,
  author = {Rational},
  title = {Rational Rose},
  note = {\url{http://www.rational.com/ products/rose/index.jsp}}
}

@MISC{RationalXDE,
  author = {Rational},
  title = {Rational XDE},
  note = {\url{http://www.rational.com/ products/xde/index.jsp}}
}

@ARTICLE{Rei91,
  author = {Wolfgang Reisig},
  title = {Petri nets and algebraic specifications},
  journal = {Theoretical Computer Science},
  year = {1991},
  volume = {80},
  pages = {1-34},
  publisher = {Elsevier}
}

@UNPUBLISHED{gaelle:vuille:bachelor:06,
  author = {Ga{\"e}lle Ribordy and Yanick Vuille},
  title = {Drink Vending Machine prototyping by Lego},
  note = {Bachelor Thesis, Universit{\'e} de Gen{\`e}ve},
  year = {2006},
  keywords = {SMV, Bachelors},
  school = {Universit\'e de Gen\`eve}
}

@INPROCEEDINGS{Risoldi:06:RISE,
  author = {Matteo Risoldi and Vasco Amaral},
  title = {Towards a formal, model-based framework for control systems interaction
	prototyping},
  booktitle = {Rapid Integration of Software Engineering techniques},
  year = {2007},
  editor = {Nicolas Guelfi and Didier Buchs},
  volume = {4401},
  series = {LNCS},
  pages = {144-159},
  publisher = {Springer-Verlag}
}

@UNPUBLISHED{risoldi:05,
  author = {M. Risoldi and D. Buchs},
  title = {Model-based prototyping of graphical user interfaces for complex
	control systems},
  note = {Submited to MoDELS 2005 conference}
}

@INPROCEEDINGS{Rolim:94:TSPPMPPPAS,
  author = {Jos Rolim and Erik Urland and Mathieu Buffo and Didier Buchs},
  title = {{TSPP} methodology for producing parallel probabilistic algorithms
	from specifications},
  booktitle = {Proceedings of the SPP conference '94},
  year = {1994},
  month = nov,
  organization = {SPP},
  source = {Mathieu Buffo},
  url = {http://cuiwww.unige.ch/~buffo/access/litterature/Rolim:94:TSPPMPPPAS/paper.ps.gz}
}

@ARTICLE{Rusinkiewicz95:transworkflow,
  author = {M. Rusinkiewicz and A. Sheth},
  title = {Specification and execution of transactional workflows},
  journal = {In W. Kim, editor, Modern Database Systems. Addison-Wesley, Reading,
	Ma, U.S.A.},
  year = {1995}
}

@TECHREPORT{Russel04:wpdata,
  author = {N. Russell and A.H.M. ter Hofstede and D. Edmond and W.M.P. van der
	Aalst},
  title = {Workflow Data Patterns},
  institution = {QUT Technical report, FIT-TR-2004-01, Queensland University of Technology,
	Brisbane},
  year = {2004},
  timestamp = {2006.02.12}
}

@TECHREPORT{Russel04:wpresource,
  author = {N. Russell and A.H.M. ter Hofstede and D. Edmond and W.M.P. van der
	Aalst},
  title = {Workflow Resource Patterns},
  institution = {BETA Working Paper Series, WP 127, Eindhoven University of Technology,
	Eindhoven},
  year = {2004},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{PVS,
  author = {Sam Owre, Natarajan Shankar, and John Rushby},
  title = {PVS: A Prototype Verification System},
  booktitle = {CADE 11, Saratoga Springs, NY},
  year = {1992}
}

@ARTICLE{SANDOR,
  author = {Christian Sandor and Gudrun Klinker},
  title = {A rapid prototyping software infrastructure for user interfaces in
	ubiquitous augmented reality},
  journal = {Springer-Verlag},
  year = {2005}
}

@INPROCEEDINGS{Sarshar05:bpm,
  author = {Kamyar Sarshar and Philipp Dominitzki and Peter Loos},
  title = {Empirical Evaluation of EPC and Petri Nets from the End-User Perspective},
  booktitle = {Proceedings of 3rd International Conference on Business Process Management},
  year = {September 2005}
}

@PHDTHESIS{schnoebelen90,
  author = {Phillipe Schnoebelen},
  title = {S\'emantique du parall\'elisme et logique temporelle, Application
	au langage FP2},
  school = {Institut National Polytechnique de Grenoble},
  year = {1990}
}

@ARTICLE{Schnoebelen:88,
  author = {Ph. Schnoebelen},
  title = {Refined compilation of pattern-matching for functional languages},
  journal = {Sci. Comput. Program.},
  year = {1988},
  volume = {11},
  pages = {133--159},
  number = {2},
  address = {Amsterdam, The Netherlands, The Netherlands},
  doi = {http://dx.doi.org/10.1016/0167-6423(88)90002-0},
  issn = {0167-6423},
  publisher = {Elsevier North-Holland, Inc.}
}

@MISC{defincontrol,
  author = {Ralph Allen School},
  title = {Ralph Allen School Glossary},
  note = {{\url{http://www.ralphallen.bathnes.sch.uk/pages/academicareas/subjects/ict/vceict/glossary.htm}}}
}

@TECHREPORT{progres,
  author = {Andy Sch�rr},
  title = {{PROGRES, A Visual Language and Environment for PROgramming with
	Graph REwriting Systems}},
  institution = {Lehrstuhl f�r Informatik III, RWTH Aachen},
  year = {1994},
  optaddress = {Germany}
}

@INPROCEEDINGS{SKS01,
  author = {P. Selonen and K. Koskimies and M. Sakkinen},
  title = {How to Make Apples from Oranges in UML},
  booktitle = {HICSS '01: Proceedings of the 34th Annual Hawaii International Conference
	on System Sciences ( HICSS-34)-Volume 3},
  year = {2001},
  pages = {3054},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0981-9}
}

@INPROCEEDINGS{Sendal:03a,
  author = {Shane Sendall},
  title = {Combining Generative and Graph Transformation Techniques for Model
	Transformation: An Effective Alliance?},
  booktitle = {OOPSLA 03 Workshop - Generative techniques in the context of MDA},
  year = {2003}
}

@INPROCEEDINGS{Sendal:03b,
  author = {Shane Sendall},
  title = {Source Element Selection In Model Transformation},
  booktitle = {UML 03 Workshop in Software Model Engineering (WiSME)},
  year = {2003}
}

@PHDTHESIS{Sendal:2002,
  author = {Shane Sendall},
  title = {Specifying Reactive System Behavior},
  school = {Ecole Polytechnique F\'ed\'erale de Lausanne},
  year = {2002}
}

@ARTICLE{SendallK03,
  author = {Shane Sendall and Wojtek Kozaczynski},
  title = {Model Transformation: The Heart and Soul of Model-Driven Software
	Development.},
  journal = {IEEE Software},
  year = {2003},
  volume = {20},
  pages = {42-45},
  number = {5},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://csdl.computer.org/comp/mags/so/2003/05/s5042abs.htm}
}

@INPROCEEDINGS{SPG+03,
  author = {Shane Sendall and G. Perrouina and N. Guelfi and O. Biberstein},
  title = {Supporting Model-to-Model Transformations: The VMT Approach},
  booktitle = {Workshop on Model Driven Architecture: Foundations and Applications},
  year = {2003}
}

@INPROCEEDINGS{Sendall:2000:UML,
  author = {Shane Sendall and Alfred Strohmeier},
  title = {From Use Cases to System Operation Specifications},
  booktitle = {UML 2000 - The Unified Modeling Language. Advancing the Standard.
	Third International Conference, York, UK, October 2000, Proceedings},
  year = {2000},
  editor = {Andy Evans and Stuart Kent and Bran Selic},
  volume = {1939},
  series = {LNCS},
  pages = {1--15},
  publisher = {Springer}
}

@INPROCEEDINGS{Sendall:1999:UML,
  author = {Shane Sendall and Alfred Strohmeier},
  title = {{UML} Based Fusion Analysis Applied to a Bank Case Study},
  booktitle = {UML'99 - The Unified Modeling Language. Beyond the Standard. Second
	International Conference, Fort Collins, CO, USA, October 28-30. 1999,
	Proceedings},
  year = {1999},
  editor = {Robert France and Bernhard Rumpe},
  volume = {1723},
  series = {LNCS},
  pages = {278--291},
  publisher = {Springer}
}

@MISC{ComediaSMV,
  author = {SMV},
  title = {Comedia},
  note = {\url{http://smv.unige.ch/tiki-download_file.php?fileId=619}}
}

@MISC{pedro:domainconceptslist,
  author = {Software Modeling Verification, Group },
  title = {Library of Domain Concepts},
  year = {2008},
  note = {\url {http://smv.unige.ch/tiki-index.php?page=MTVLibraryDomainConcepts
	}}
}

@MISC{ArcStyler,
  author = {Interactive Objects Software},
  title = {ArcStyler Web Site, Interactive Objects Software},
  year = {2007},
  note = {\url{http://www.arcstyler.com/}},
  date-modified = {2008-02-26 00:31:22 +0100},
  keywords = {MDA Case Tools}
}

@MISC{dsltransmanual,
  author = {{Solar Group}},
  title = {DSLTrans Manual},
  note = {\url{http://pessoa.fct.unl.pt/rlf18343/dsltrans_manual.pdf}}
}

@MISC{dsltransplugin,
  author = {{Solar Group}},
  title = {DSLTrans Plug-in},
  note = {\url{http://pessoa.fct.unl.pt/rlf18343/dsltranslator.rar}}
}

@MASTERSTHESIS{Vasco:09:MDDICSUIST,
  author = {Vasco Sousa},
  title = {{Model Driven Development Implementation of a Control Systems User
	Interfaces Specification Tool}},
  school = {Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia,
	Portugal},
  year = {2009},
  month = february,
  url = {http://dspace.fct.unl.pt/bitstream/10362/1961/1/Sousa_2009.pdf}
}

@INPROCEEDINGS{stroh,
  author = {Alfred Strohmeier},
  title = {Fondue: {A}n {O}bject-{O}riented {D}evelopment {M}ethod based on
	the {U}{M}{L} {N}otation},
  booktitle = {X Jornada T\'ecnica de Ada-Spain, Documentaci\'on, ETSI de Telecommunicaci\'on,
	Universidad Polit\'ecnica de Madrid},
  year = {2001},
  address = {Madrid, Spain},
  month = {November}
}

@MISC{jee_web,
  author = {Sun},
  title = {Java Platform, Enterprise Edition},
  note = {\url{http://java.sun.com/javaee/}},
  date-added = {2008-02-28 13:13:53 +0100},
  date-modified = {2008-02-28 13:15:06 +0100},
  keywords = {Java}
}

@MISC{ltg,
  author = {Leirios Technologies},
  title = {Leirios homepage.},
  note = {http://www.leirios.com}
}

@PHDTHESIS{thesis:thibault,
  author = {Scott Thibault},
  title = {Domain-specific languages: Conception, implementation and application},
  school = {University of Rennes},
  year = {1998},
  month = {October},
  date-added = {2008-02-25 11:18:57 +0100},
  date-modified = {2008-02-25 11:20:19 +0100},
  keywords = {DSML}
}

@INPROCEEDINGS{Thierry-Mieg03,
  author = {Yann Thierry-Mieg and Claude Dutheillet and Isabelle Mounier},
  title = {Automatic Symmetry Detection in Well-Formed Nets.},
  booktitle = {Proceedings of the 24th International Conference on Applications
	and Theory of Petri Nets (ICATPN 2003), Lecture Notes in Computer
	Science / Wil M. P. },
  year = {2003},
  volume = {2679},
  pages = {82-101},
  month = jun,
  publisher = {Springer-Verlag},
  note = {InternalNote: Submitted by: hr},
  abstract = {Formal verification of complex systems using high-level Petri Nets
	faces the so-called state-space explosion problem. In the context
	of Petri nets generated from a higher level specification, this problem
	is particularly acute due to the inherent size of the considered
	models. A solution is to perform a symbolic analysis of the reachability
	graph, which exploits the symmetry of a model. Well-Formed Nets (
	WN) are a class of high-level Petri nets, developed specifically
	to allow automatic construction of a symbolic reachability graph
	(SRG), that represents equivalence classes of states. This relies
	on the definition by the modeler of the symmetries of the model,
	through the definition of {"}static sub-classes{"}. Since a model
	is self-contained, these (a)symmetries are actually defined by the
	model itself. This paper presents an algorithm capable of automatically
	extracting the symmetries inherent to a model, thus allowing its
	symbolic study by translating it to WN. The computation starts from
	the assumption that the model is entirely symmetric, then examines
	each component of a net to deduce the symmetry break it induces.
	This translation is transparent to the end-user, and is implemented
	as a service for the AMI-Net package. It is particularly adapted
	to models containing large value domains, yielding combinatorial
	gain in the size of the reachability graph.},
  keywords = {well-formed Petri nets; symmetry detection; symbolic model-checking;
	partial symmetry;}
}

@INPROCEEDINGS{thierry-mieg.04.forte,
  author = {Yann Thierry-Mieg and Jean-Michel Ili{\'e} and Denis Poitrenaud},
  title = {A Symbolic Symbolic State Space Representation},
  booktitle = {Proceedings of the 24th International Conference on Formal Techniques
	for Networked and Distributed Systems (FORTE'04)},
  year = {2004},
  editor = {David de Frutos-Escrig and Manuel N{\'u}{\~n}ez},
  volume = {3235},
  series = {Lecture Notes in Computer Science},
  pages = {276--291},
  month = SEP,
  publisher = {Springer},
  adress = {Madrid, Spain},
  file = {forte04.pdf:articles/forte04.pdf:PDF},
  isbn = {3-540-23252-4}
}

@BOOK{Isabelle,
  title = {Isabelle/HOL: A Proof Assistant for Higher-order Logic},
  publisher = {Springer},
  year = {1995},
  author = {Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel},
  isbn = {3-54043-376-7}
}

@INPROCEEDINGS{DBLP:conf/concur/Tretmans99,
  author = {Jan Tretmans},
  title = {Testing Concurrent Systems: A Formal Approach},
  booktitle = {CONCUR},
  year = {1999},
  pages = {46-65}
}

@ARTICLE{DBLP:journals/stp/Tretmans96,
  author = {Jan Tretmans},
  title = {Test Generation with Inputs, Outputs and Repetitive Quiescence.},
  journal = {Software - Concepts and Tools},
  year = {1996},
  volume = {17},
  pages = {103-120},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Tret94,
  author = {Jan Tretmans},
  title = {A Formal Approach to Conformance Testing},
  booktitle = {Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on
	Protocol Test systems VI},
  year = {1994},
  pages = {257--276},
  publisher = {North-Holland},
  isbn = {0-444-81697-6}
}

@MISC{uppaal,
  author = {Aalborg University},
  title = {UPPAAL homepage.},
  note = {http://www.uppaal.com/}
}

@MISC{smv,
  author = {Carnegie Mellon University},
  title = {SMV homepage.},
  note = {http://www.cs.cmu.edu/~modelcheck/}
}

@UNPUBLISHED{ut:pr:le:06,
  author = {Mark Utting and Alexander Pretschner and Bruno Legeard},
  title = {A Taxonomy of Model-Based Testing},
  note = { },
  month = apr,
  year = {2006},
  url = {http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-04.pdf}
}

@BOOK{batic3schap,
  title = { A language and a methodology for prototyping user interfaces for
	control systems },
  publisher = { Springer-Verlag },
  year = { 2009 },
  author = { V. Amaral, B.Barroca, M. Risoldi, D. Buchs and G. Falquet },
  pages = { 223-252 }
}

@TECHREPORT{Beaudenon05:DDD,
  author = {V.Beaudenon and E. Encrenaz},
  title = {Data Decision Diagrams for Promela systems Analysis},
  institution = {LIP6 research report},
  year = {2005},
  timestamp = {2006.02.12}
}

@PHDTHESIS{Vachon:thesis00,
  author = {J. Vachon},
  title = {COALA: A Design Language for Reliable Distributed Systems},
  school = {Ph.D. Thesis \#2302, Swiss Federal Institute of Technology, Lausanne,
	Switzerland},
  year = {December 2000},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{Vachon:97:SSID,
  author = {Julie Vachon and Didier Buchs},
  title = {Subtyping as a Support for Incremental Development},
  booktitle = {Models, Formalisms and Methods for Object Oriented Didtributed Computing
	in Workshop Reader, ECOOP Conference 1997 },
  year = {1997},
  editor = {Remi Bastide and Didier Buchs},
  volume = {1357},
  series = {Lecture Notes in Computer Science},
  pages = {244--247},
  month = jun,
  publisher = {Springer Verlag},
  keywords = {Conform}
}

@TECHREPORT{Vachon98,
  author = {J. Vachon and D. Buchs and M. Buffo and G. Di Marzo Serugendo and
	B. Randell and A. Romanovsky and R.J. Stroud and J. Xu},
  title = {Coala - a formal language for coordinated atomic actions},
  institution = {In 3rd Year Report, ESPRIT Long Term Research Project 20072 on Design
	for Validation. LAAS, France},
  year = {November 1998},
  timestamp = {2006.02.12}
}

@INPROCEEDINGS{Vachon:06:COALA,
  author = {Julie Vachon and Nicolas Guelfi and Alexander Romanovsky},
  title = {Using COALA for the Development of a Distributed Object-based Application},
  booktitle = {2nd International Symposium on Distributed Objects \& Applications(DAO'00)},
  year = {2000},
  address = {Antwerp, Belgium},
  timestamp = {2006.02.12}
}

@MANUAL{gme5:usermanual,
  title = {GME 5 User's Manual},
  author = {Vanderbilt University, Institute for Software Integrated Systems},
  organization = {Vanderbilt University},
  year = {2005},
  date-added = {2008-02-25 11:44:55 +0100},
  date-modified = {2008-02-25 11:52:11 +0100},
  keywords = {DSML DSMLTools GME}
}

@INPROCEEDINGS{Vanderfeesten05:cpn,
  author = {Irene Vanderfeesten and Wil M.P. van der Aalst and Hajo Reijers},
  title = {Modelling a Product Based Workflow System in CPN Tools},
  booktitle = {Proceedings of the Sixth Workshop and Tutorial on Practical Use of
	Coloured Petri Nets and the CPN Tools, Department of Computer Science,
	University of Aarhus, PB-576, 99-118.},
  year = {October 2005}
}

@INCOLLECTION{VW:auttaa,
  author = {Moshe Y. Vardi and Pierre Wolper},
  title = {An Automata-Theoretic Approach to Automatic Program Verification
	(Preliminary Report)},
  booktitle = {Proceedings 1st Annual IEEE Symp.\ on Logic in Computer Science,
	LICS'86, Cambridge, MA, USA, 16--18 June 1986},
  publisher = {IEEE},
  year = {1986},
  pages = {332--344},
  address = {Washington, DC}
}

@ARTICLE{Vernez:2003:PUCPNRAAM/LGL,
  author = {Vernez, David and Buchs, Didier and Pierrehumbert, Guillaume},
  title = {Perspectives in the {U}se of {C}oloured {P}etri {N}ets for {R}isk
	{A}nalysis and {A}ccident {M}odelling},
  journal = {Safety {S}ciences {J}ournal},
  year = {2003},
  details = {http://infoscience.epfl.ch/search.py?recid=54733},
  unit = {LGL}
}

@INPROCEEDINGS{DBLP:conf/pts/VriesBF02,
  author = {Ren{\'e} G. de Vries and Axel Belinfante and Jan Feenstra},
  title = {Automated Testing in Practice: The Highway Tolling System.},
  booktitle = {TestCom},
  year = {2002},
  pages = {219-234}
}

@MISC{xslt,
  author = {W3C},
  title = {XSL Transformations version 1.0},
  note = {\url{http://www.w3.org/TR/xslt}}
}

@MISC{svg_spec,
  author = {W3C},
  title = {{S}calable {V}ector {G}raphics ({S}{V}{G}) 1.1},
  howpublished = {Technical Specification},
  month = {January},
  year = {2005}
}

@ARTICLE{Waechter91:contract,
  author = {H. Waechter and A. Reuter},
  title = {The ConTract Model},
  journal = {Database Transaction Models for Advanced Applications},
  year = {1991},
  timestamp = {2006.02.12}
}

@ARTICLE{fujaba1,
  author = {R. Wagner},
  title = {{Developing Model Transformations with Fujaba}},
  journal = {4th Int. Fujaba Days},
  year = {2006},
  citeulike-article-id = {3919282},
  keywords = {modeltransformation},
  posted-at = {2009-01-21 09:49:34},
  priority = {2}
}

@INPROCEEDINGS{Wang:2006,
  author = {Wang, J. and Kim, S.-K. and Carrington, D.},
  title = {Verifying metamodel coverage of model transformations},
  booktitle = {Proceedings of the 2006 Australian Software Engineering Conference
	(ASWEC�06)},
  year = {2006}
}

@BOOK{ocl_book,
  title = {The {O}bject {C}onstraint {L}anguage, {G}etting {Y}our {M}odels {R}eady
	{F}or {M}{D}{A}},
  publisher = {Addison Wesley},
  year = {2003},
  author = {Jos Warmer and Anneke Kleppe},
  edition = {2}
}

@INPROCEEDINGS{Weijters02,
  author = {A. J. M. M. Weijters and W. M. P. van der Aalst},
  title = {Workflow Mining: Discovering Workflow Models from Event-Based Data.},
  booktitle = {Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial
	Data},
  year = {2002},
  editor = { {Dousson, C.} and {Hppner, F.} and {Quiniou, R.}},
  pages = {78--84}
}

@ARTICLE{wey:ost:80,
  author = {Elaine J. Weyuker and Thomas J. Ostrand},
  title = {Theories of program testing and the application of revealing subdomains},
  journal = {IEEE Transactions on Software Engineering},
  year = {1980},
  volume = {6},
  pages = {236-246},
  number = {3}
}

@ARTICLE{stephen04:bpmn-bpel,
  author = {Stephen A. White},
  title = {Mapping BPMN to BPEL Example},
  journal = {IBM Corp., United States},
  year = {February 2005}
}

@ARTICLE{stephen04:patterns,
  author = {Stephen A. White},
  title = {Process Modeling Notations and Workflow Patterns},
  journal = {IBM Corp., United States},
  year = {2004}
}

@MISC{application:soft,
  author = {Wikipedia},
  title = {Application Software definition},
  note = {\url {http://en.wikipedia.org/wiki/Application software}}
}

@INPROCEEDINGS{wohed03:bpel,
  author = {P. Wohed and W.M.P. van der Aalst and M. Dumas and A.H.M. ter Hofstede},
  title = {Analysis of Web Services Composition Languages: The Case of BPEL4WS},
  booktitle = {In I.Y. Song, S.W. Liddle, T.W. Ling, and P. Scheuermann, editors,
	22nd International Conference on Conceptual Modeling (ER 2003), volume
	2813 of Lecture Notes in Computer Science, pages 200-215. Springer-Verlag,
	Berlin},
  year = {2003}
}

@TECHREPORT{wohed02:bpel,
  author = {P. Wohed and W.M.P. van der Aalst and M. Dumas and A.H.M. ter Hofstede},
  title = {Pattern-Based Analysis of BPEL4WS},
  institution = {QUT Technical report, FIT-TR-2002-04, Queensland University of Technology,
	Brisbane},
  year = {2002}
}

@INPROCEEDINGS{wohed04:uml,
  author = {P. Wohed and W.M.P. van der Aalst and M. Dumas and A.H.M. ter Hofstede
	and N. Russell},
  title = {Pattern-based Analysis of UML Activity Diagrams},
  booktitle = {BETA Working Paper Series, WP 129, Eindhoven University of Technology,
	Eindhoven},
  year = {2004}
}

@INPROCEEDINGS{wohed03:eai,
  author = {P. Wohed and E. Perjons and M. Dumas and A. ter Hofstede},
  title = {Pattern-Based Analysis of EAI Languages: The Case of the Business
	Modeling Language},
  booktitle = {In Proceedings of the 5th International Conference on Enterprise
	Information Systems (ICEIS), Angers, France},
  year = {April 2003}
}

@MISC{epml,
  author = {www.epml.de},
  title = {EPC Markup Language (EPML)},
  url = {http://www.epml.de}
}

@INPROCEEDINGS{xu99rigorous,
  author = {Jie Xu and Brian Randell and Alexander B. Romanovsky and Robert J.
	Stroud and A. F. Zorzo and E. Canver and Friedrich W. von Henke},
  title = {Rigorous Development of a Safety-Critical System Based on Coordinated
	Atomic Actions},
  booktitle = {Symposium on Fault-Tolerant Computing},
  year = {1999},
  pages = {68-75},
  url = {citeseer.ist.psu.edu/xu99rigorous.html}
}

@ARTICLE{MOI,
  author = {A. Zaatri and M. Oussalah},
  title = {Integration and design of multi-modal interfaces for supervisory
	control systems},
  journal = {Information Fusion, Elsevier},
  year = {2003},
  volume = {4},
  pages = {135-150}
}

@BOOK{Abrams:Jajodia:Podell:95,
  title = {Information Security: An Integrated Collection of Essays},
  publisher = {IEEE Computer Society Press},
  year = {1995},
  editor = {Abrams, Marshall D. and Jajodia, Sushil G. and Podell, H. J.},
  address = {Los Alamitos, CA, USA},
  isbn = {0818636629}
}

@PROCEEDINGS{DBLP:conf/dagstuhl/2004test,
  title = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume
	is the outcome of a research seminar that was held in Schloss Dagstuhl
	in January 2004]},
  year = {2005},
  editor = {Manfred Broy and Bengt Jonsson and Joost-Pieter Katoen and Martin
	Leucker and Alexander Pretschner},
  volume = {3472},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {Model-Based Testing of Reactive Systems},
  isbn = {3-540-26278-4}
}

@PROCEEDINGS{DBLP:conf/apn/1999,
  title = {Application and Theory of Petri Nets 1999, 20th International Conference,
	ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
  year = {1999},
  editor = {Susanna Donatelli and H. C. M. Kleijn},
  volume = {1639},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ICATPN},
  isbn = {3-540-66132-8}
}

@PROCEEDINGS{DBLP:conf/asm/2000,
  title = {Abstract State Machines, Theory and Applications, International Workshop,
	ASM 2000, Monte Verit{\`a}, Switzerland, March 19-24, 2000, Proceedings},
  year = {2000},
  editor = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar
	Thiele},
  volume = {1912},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {Abstract State Machines},
  isbn = {3-540-67959-6}
}

@PROCEEDINGS{DBLP:conf/mfcs/1999,
  title = {Mathematical Foundations of Computer Science 1999, 24th International
	Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
	Proceedings},
  year = {1999},
  editor = {Miroslaw Kutylowski and Leszek Pacholski and Tomasz Wierzbicki},
  volume = {1672},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {MFCS},
  isbn = {3-540-66408-4}
}

@PROCEEDINGS{DBLP:conf/splc/2005,
  title = {Software Product Lines, 9th International Conference, SPLC 2005,
	Rennes, France, September 26-29, 2005, Proceedings},
  year = {2005},
  editor = {J. Henk Obbink and Klaus Pohl},
  volume = {3714},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {SPLC},
  isbn = {3-540-28936-4}
}

@BOOK{Roz97,
  title = {Handbook of graph grammars and computing by graph transformation:
	volume I. foundations},
  publisher = {World Scientific Publishing Co., Inc.},
  year = {1997},
  editor = {Grzegorz Rozenberg},
  address = {River Edge, NJ, USA},
  isbn = {98-102288-48}
}

@PROCEEDINGS{DBLP:conf/vl/2007,
  title = {2007 IEEE Symposium on Visual Languages and Human-Centric Computing
	(VL/HCC 2007), 23-27 September 2007, Coeur d'Alene, Idaho, USA},
  year = {2007},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {VL/HCC},
  isbn = {978-0-7695-2987-5}
}

@PROCEEDINGS{DBLP:conf/rsp/2006,
  title = {17th IEEE International Workshop on Rapid System Prototyping (RSP
	2006), 14-16 June 2006, Chania, Crete, Greece},
  year = {2006},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {IEEE International Workshop on Rapid System Prototyping},
  isbn = {0-7695-2580-6}
}

